Formal Methods for Executable Software Models
Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer
Häftad
552 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
530 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
Service-Oriented and Cloud Computing
Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski
Häftad
552 kr
Formal Methods for Open Object-Based Distributed Systems
Marcello M. Bonsangue, Einar Broch Johnsen
Häftad
552 kr
Logic of Software. A Tasting Menu of Formal Methods
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
Häftad
1 096 kr
Active Object Languages: Current Research Trends
Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan
Häftad
824 kr
Service-Oriented and Cloud Computing
Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen
Häftad
552 kr
Theory and Practice of Formal Methods
Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
Häftad
552 kr