Formal Methods for Distributed System Development : FORTE /

This book addresses Formal Methods (FMs) applicable to the specification, verification, implementation, and testing of complex distributed systems and communication protocols. The early, pioneering phases in the development of Formal Methods, with their conflicts between evangelistic and skeptical a...

Full description

Bibliographic Details

Main Author:	Bolognesi, Tommaso
Corporate Author:	SpringerLink (Online service)
Other Authors:	Latella, Diego
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2000.
Series:	IFIP — The International Federation for Information Processing ; 55.
Subjects:	Computer science. Software engineering. Electronic data processing. Computer engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book