Del 8483
Formal Methods for Executable Software Models
Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer
Häftad, 2014
561 kr
Formal Methods for Multicore Programming
15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
AvMarco Bernardo,Einar Broch Johnsen
Häftad, Engelska, 2015
Del 9104 i serien Lecture Notes in Computer Science
539 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Formal Methods for Executable Software Models
Ina Schaefer, Einar Broch Johnsen, Reiner Haehnle, Ferruccio Damiani, Marco Bernardo
E-bok
2014714 kr
Logic of Software. A Tasting Menu of Formal Methods
Einar Broch Johnsen, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt
E-bok
20221 408 kr
Formal Methods for Open Object-Based Distributed Systems
Marcello M. Bonsangue, Einar Broch Johnsen
Häftad, 2007
561 kr
Theory and Practice of Formal Methods
Einar Broch Johnsen, Marcello Bonsangue, Erika Abraham
E-bok
2016708 kr
Del 9660
Theory and Practice of Formal Methods
Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
Häftad, 2016
561 kr