Del 9104
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
AvEinar Broch Johnsen,Marco Bernardo
E-bok
PDF, Engelska, 2015611 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
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. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
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 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