Sách điện tử > Khoa học > Khoa học máy tính > Phần mềm ứng dụng > Stephan Merz & Jun Pang: Formal Methods and Software Engineering (PDF)

Stephan Merz & Jun Pang
Formal Methods and Software Engineering
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Ủng hộ

Bìa của Stephan Merz & Jun Pang: Formal Methods and Software Engineering (PDF)

This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

€56.53

Buy this ebook and get 1 more FREE!

Ngôn ngữ Anh ● định dạng PDF ● ISBN 9783319117379 ● Biên tập viên Stephan Merz & Jun Pang ● Nhà xuất bản Springer International Publishing ● Được phát hành 2014 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 6303027 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

Stephan Merz Jun Pang

16.115 Ebooks trong thể loại này

Bìa của Ulises Gascon: Node.js for Beginners

Ulises Gascon: Node.js for Beginners

Build your first production-grade web application from scratch using Node.js, Express, Mongo DB, authentication, and testing with the help of expert guidance and step-by-step explanations Key …

Bìa của Lamis Chebbi: Reactive Patterns with RxJS and Angular Signals

Lamis Chebbi: Reactive Patterns with RxJS and Angular Signals

Leverage the reactive paradigm with Rx JS and signals in your Angular applications using common patterns and techniques designed for real-world use cases Key Features Discover practical reactive …

Bìa của Badr Nasslahsen: Spring Security

Badr Nasslahsen: Spring Security

Leverage the power of Spring Security 6 to protect your modern Java applications from hackers Key Features Architect solutions that leverage Spring Security while remaining loosely coupled Implement …

Bìa của Preston Zhang: Practical Guide to Large Database Migration

Preston Zhang: Practical Guide to Large Database Migration

It is a major challenge to migrate very large databases from one system, say for example, to transfer critical data from Oracle to SQL Server. One has to consider several issues such as loss of data …

Bìa của John Knight: Fundamentals of Dependable Computing for Software Engineers

John Knight: Fundamentals of Dependable Computing for Software Engineers

Fundamentals of Dependable Computing for Software Engineers presents the essential elements of computer system dependability. The book describes a comprehensive dependability-engineering process and …

Bìa của John Asatryan & Vardan Grigoryan: Expert C++

John Asatryan & Vardan Grigoryan: Expert C++

<p><b>Take your C++ skills to the next level with expert insights on advanced techniques, design patterns, and high-performance programming Purchase of the print or Kindle book includes a …

Bìa của Veena A & Gowrishankar S: Introduction to Python Programming

Veena A & Gowrishankar S: Introduction to Python Programming

Introduction to Python Programming is written for students who are beginners in the field of computer programming. This book presents an intuitive approach to the concepts of Python Programming for s …

Bìa của Partha Kuchana: Software Architecture Design Patterns in Java

Partha Kuchana: Software Architecture Design Patterns in Java

<P>Software engineering and computer science students need a resource that explains how to apply design patterns at the enterprise level, allowing them to design and implement systems of high …

Bìa của Charles V. Breakfield & Roxanne Burkey: Designing a Total Data Solution

Charles V. Breakfield & Roxanne Burkey: Designing a Total Data Solution

Your company”s global competitiveness depends on the utilization and maintenance of information. Current data handling practices-storing, updating, and accessing data-can be either a problem or a …

Bìa của Ana Alice Baptista & Mariana Curado Malta: Developing Metadata Application Profiles

Ana Alice Baptista & Mariana Curado Malta: Developing Metadata Application Profiles

Trang tiếp theo >>>