Formal development of reactive systems : case study production cell /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Lewerentz, Claus, Lindner, Thomas, 1966-
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1995]
Series:	Lecture notes in computer science ; 891.
Subjects:	Computer software > Development. TROLL. signal. MODULA 3. LCM. RAISE. HOL. spectrum. SDL. LUSTRE. CSL. ESTEREL. développement logiciel. méthode formelle. Logiciels > Développement > Cas, Études de. Réaction, Systèmes à > Informatique > Cas, Études de. Usines métallurgiques > Automatisation > Informatique > Cas, Études de. Programmatuurtechniek. Logiciels > Développement. Konzeptionelle Modellierung. Softwareentwicklung. Flexible Fertigungszelle. Automatisierungssystem. Electronic books. Electronic resources (Books)
Online Access:	Connect to the full text of this electronic book