Formal methods for components and objects

Bibliographische Detailangaben

Format:	Buch
Sprache:	English
Veröffentlicht:	Amsterdam u.a. Elsevier 2005
Schriftenreihe:	Theoretical computer science 331,2/3
Schlagworte:	Komponente > Software Formale Methode Objektorientierung Softwareentwicklung Aufsatzsammlung Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!