Secial issue on "FM'99", the First World Congress on Formal Methods in the Development of Computing Systems [Toulouse, France, September 20 - 24, 1999 ; selected papers]

Bibliographische Detailangaben

Körperschaft:	FM (VerfasserIn)
Weitere Verfasser:	Wing, Jeannette M. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Dordrecht Kluwer Academic Publ. 2000
Schriftenreihe:	Formal methods in system design Special issue 17,3
Schlagworte:	Konferenzschrift > Softwareentwicklung > Formale Methode > Hardwareentwurf
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!