Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Softw by Bernardo, Marco

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Softw (Paperback) (ISBN-13: 9783642214547)

Vendor: Marco Bernardo
Product type: Books
Format: Paperback
$54.99
$54.99
$54.99
Subtotal: $54.99
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Softw by Bernardo, Marco

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Softw

$54.99
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Softw by Bernardo, Marco

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Softw

$54.99
Format: Paperback
Description
Description
x

Based on lectures delivered at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, this volume explores formal methods for external networked software systems.



Author: Marco Bernardo
ISBN-10: 3642214541
ISBN-13: 9783642214547
Publisher: Springer
Language: English
Published: 06/03/2011
Pages: 527
Format: Paperback
Weight: 1.80lbs
Size: 9.20h x 6.10w x 1.10d

Recently Viewed Products