Formal Description Techniques VIII

Gregor Von Bochmann, Rachida Dssouli, Omar Rafiq (Herausgeber)

Buch | Hardcover

452 Seiten

1996
Chapman and Hall (Verlag)
978-0-412-73270-6 (ISBN)

Artikel merken

This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.

Preface. Invited presentation. Design methodologies. Verification I. Algebraic languages. System specification and Z. Invited presentation. Industrial experiences. Applying formal methods. Tools and testing. Real-time and stochastic systems. Verification II. List of tools for demonstrations. Keyword index.

Reihe/Serie	IFIP International Federation for Information Processing
Zusatzinfo	XIV, 452 p.
Verlagsort	London
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Netzwerke
	Naturwissenschaften ► Physik / Astronomie ► Mechanik
	Technik ► Elektrotechnik / Energietechnik
ISBN-10	0-412-73270-X / 041273270X
ISBN-13	978-0-412-73270-6 / 9780412732706
Zustand	Neuware