Formal Description Techniques VII

Buch | Hardcover

522 Seiten

1995
Chapman and Hall (Verlag)
978-0-412-64450-4 (ISBN)

Artikel merken

This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.

Preface. Invited talk. New techniques. Applications. FDTs go commercial. Verification. Verification and real-time. Semantics. Testing and performace. Refinement. Index of contributors. Keyword index.

Although this is a multi-author production, the subject matter is so concise that the usual pitfall of superficially covering too many different issues has been prevented ... A very technical but concise reference book - Network

Reihe/Serie	IFIP International Federation for Information Processing
Zusatzinfo	XIV, 522 p.
Verlagsort	London
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Netzwerke
	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Naturwissenschaften ► Physik / Astronomie ► Mechanik
	Technik ► Elektrotechnik / Energietechnik
ISBN-10	0-412-64450-9 / 0412644509
ISBN-13	978-0-412-64450-4 / 9780412644504
Zustand	Neuware