1
0
0
(1 - 15 von 15
)
Stefania Gnesi (Author of Formal Methods for Industrial Critical...
www.goodreads.com
Stefania Gnesi is the author of Formal Methods for Industrial Critical Systems (4.00 avg rating, 2 ratings, 0 reviews, published 2012), Fundamental Appro...
bokus.com: Stefania Gnesi - Böcker | Bokus bokhandel
Köp böcker av Stefania Gnesi hos Bokus med fri frakt och snabb leverans. Här hittar du de senaste och mest populära böckerna till bra pris!
Stefania Gnesi on Apple Books
books.apple.com
Preview and download books by Stefania Gnesi, including Requirements Engineering: Foundation for Software Quality, FM 2016: Formal Methods and many more.
Abstract State Machines, Alloy, B, VDM, and Z: Third International...
books.google.de
Proceedings John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene. Volume Editors John Derrick ...
Advances in Computers - Google Books
books.google.de
Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and...
Cooperative Systems Design: Scenario-based Design of Collaborative...
books.google.de
(Eds.) IOS Press, Model Checking Groupware Protocols Maurice H. ter Beek Mieke Massink Diego Latella Stefania Gnesi Istituto di Scienza e Tecnologie ...
Free delivery worldwide on all books from Book Depository
www.bookdepository.com
Book Depository is the world's most international online bookstore offering over million books with free delivery worldwide.
Formal Methods for Industrial Critical Systems by Stefania Gnesi,...
www.dymocks.com.au
Formal Methods for Industrial Critical Systems from Dymocks online bookstore. A Survey of Applications. PaperBack by Stefania Gnesi, Tiziana Margaria
FM 2016: Formal Methods: 21st International Symposium, Limassol,...
books.google.de
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November The...
Formal Methods for Industrial Critical Systems: A Survey of...
books.google.de
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition,...
Fundamental Approaches to Software Engineering: 17th International...
books.google.de
This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the...
Publications | MEALS
meals-project.eu
Filters: Author is Stefania Gnesi [Clear All Filters] D. Déharbe, P. Fontaine, Y. Guyot, and L. Voisin, “Integrating SMT solvers in Rodin”, Science of ...
From Software Engineering to Formal Methods and Tools, and Back:...
books.google.de
This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of...
Integrated Formal Methods: 9th International Conference, IFM 2012,...
books.google.de
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June The...
Green IT Engineering: Social, Business and Industrial Applications -...
books.google.de
This book describes the implementation of green IT in various human and industrial domains. Consisting of four sections: “Development and Optimization of Green...
Verwandte Suchanfragen zu Stefania Gnesi
| John Fitzgerald Tiziana Margaria |
Personen Vorname "Stefania" (2067) Name "Gnesi" (1) |
sortiert nach Relevanz / Datum