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

Contributor(s): Bernardo, Marco (Editor), Issarny, Valerie (Editor)

ISBN: 9783642214547

Publisher: Springer

Binding Types:

Paperback

$54.99

Digicover (1-4 copies)

$67.94 (Final Price)

Readerbound (5-99 copies)

$66.74 (100+ copies: $65.99)

List/retail price:

$54.99

Pub Date: June 3, 2011

Dewey: 004.0151

Lexile Code: 0000

Features: Bibliography, Illustrated, Index, Table of Contents

Target Age Group: NA to NA

Physical Info: 1.10" H x 9.20" L x 6.10" W ( 1.80 lbs) 527 pages

BISAC Categories:

Series: Lecture Notes in Computer Science

Descriptions, Reviews, etc.

Description:

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.