E-bok > Sciences > Datavetenskap > Applikationsprogram > Marco Bernardo & Vittorio Cortellessa: Formal Methods for Model-Driven Engineering (PDF)

Marco Bernardo & Vittorio Cortellessa
Formal Methods for Model-Driven Engineering [PDF ebook]
12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Stöd

Omslag till Marco Bernardo & Vittorio Cortellessa: Formal Methods for Model-Driven Engineering (PDF)

This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management.

€57.82

Köp den här e-boken och få 1 till GRATIS!

Språk Engelska ● Formatera PDF ● ISBN 9783642309823 ● Redaktör Marco Bernardo & Vittorio Cortellessa ● Utgivare Springer Berlin Heidelberg ● Publicerad 2012 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 6322942 ● Kopieringsskydd Adobe DRM

Kräver en DRM-kapabel e-läsare

Fler e-böcker från samma författare (r) / Redaktör

Marco Bernardo Vittorio Cortellessa Alfonso Pierantonio

16 455 E-böcker i denna kategori

Omslag till Darryl Bartlett: Swift Programming in easy steps

Darryl Bartlett: Swift Programming in easy steps

Swift is very easy to learn and it’s more readable than most programming languages. It allows you to build applications for i Phone, i Pad, Apple Watch, Apple TV and Mac. Swift Programming in easy …

Omslag till Richard Urwin: Artificial Intelligence for Developers in easy steps

Richard Urwin: Artificial Intelligence for Developers in easy steps

Artificial Intelligence for Developers in easy steps is for coders who want to enhance their skillset quickly and easily. Artificial Intelligence (AI) is here to stay, and this guide reveals how AI …

Omslag till Various: Programming Kotlin

Various: Programming Kotlin

Explore the world of Kotlin with this curated collection. Designed for both beginners and experienced developers, this bundle offers essential knowledge and practical skills for developing …

Omslag till Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Getting Started for Internet of Things with Launch Pad and ESP8266 provides a platform to get started with the Ti launch pad and Io T modules for Internet of Things applications. The book provides …

Omslag till Saad Motahhir: Smart Embedded Systems and Applications

Saad Motahhir: Smart Embedded Systems and Applications

This book covers a wide range of challenges, technologies and state-of-the-art for the design, development and realization of smart and complex embedded systems and their applications; i.e., software …

Omslag till Mehdi Khosrow-Pour: Systems and Software Development, Modeling, and Analysis: New Perspectives and Methodologies

Mehdi Khosrow-Pour: Systems and Software Development, Modeling, and Analysis: New Perspectives and Methodologies

Omslag till Arun Prakash Agrawal & Vishal (Sharda University, India) Jain: Computational Intelligence Applications for Software Engineering Problems

Arun Prakash Agrawal & Vishal (Sharda University, India) Jain: Computational Intelligence Applications for Software Engineering Problems

This new volume explores the computational intelligence techniques necessary to carry out different software engineering tasks. Software undergoes various stages before deployment, such as …

Omslag till Jason Alls: Clean Code in C#

Jason Alls: Clean Code in C#

Develop your programming skills by exploring essential topics such as code reviews, implementing TDD and BDD, and designing APIs to overcome code inefficiency, redundancy, and other problems arising …

Omslag till Badr Nasslahsen: Spring Security

Badr Nasslahsen: Spring Security

<p><b>Leverage the power of Spring Security 6 to protect your modern Java applications from hackers</b></p><h4>Key Features</h4><ul><li>Architect …

Omslag till Arun Kumar Sangaiah & Vijayan Sugumaran: Computational Intelligence Applications in Business Intelligence and Big Data Analytics

Arun Kumar Sangaiah & Vijayan Sugumaran: Computational Intelligence Applications in Business Intelligence and Big Data Analytics

There are a number of books on computational intelligence (CI), but they tend to cover a broad range of CI paradigms and algorithms rather than provide an in-depth exploration in learning and adaptiv …

Nästa sida >>>