Del 8483
Formal Methods for Executable Software Models
Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer
Häftad
709 kr
Del 9104 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2015
659 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum2015-05-19
- Mått155 x 235 x 13 mm
- Vikt341 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor211
- FörlagSpringer International Publishing AG
- ISBN9783319189406
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 9846
Service-Oriented and Cloud Computing
Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski
Häftad
709 kr
Formal Methods for Open Object-Based Distributed Systems
Marcello M. Bonsangue, Einar Broch Johnsen
Häftad
709 kr
Del 10375
Del 13360
Logic of Software. A Tasting Menu of Formal Methods
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
Häftad
1 399 kr
Del 14360
Active Object Languages: Current Research Trends
Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan, Reiner Hahnle
Häftad
1 059 kr
Del 10465
Service-Oriented and Cloud Computing
Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen, Flavio de Paoli
Häftad
709 kr
Del 9660
Theory and Practice of Formal Methods
Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen, Erika Abraham
Häftad
709 kr