Formal methods for multicore programming : 15th International School on Formal Methods fo the Design of Computer, Communication, and Software Systems, SFM 2015... / ed. Marco Bernardo, Einar Broch Johnsen
Secondary Author
Bernardo, Marco
Johnsen, Einar Broch
Corporate Author (Secondary)
International School on Formal Methods fo the Design of Computer, Communication, and Software Systems (SFM 2015), 15, Bertinoro, 2015
Country
Suiça.
Publication
Cham : Springer, 2015
Description
210, [4] p. :
il. ;
24 cm
Series
Lecture notes in computer science , 9104 , 0302-9743
ISBN
978-3-319-18940-6
CDU
681.3
510.6
There are no comments for this item.