Bibliografische Daten
ISBN/EAN: 9781846282423
Sprache: Englisch
Umfang: xvi, 232 S., 52 s/w Illustr., 232 p. 52 illus.
Auflage: 1. Auflage 2006
Einband: gebundenes Buch
Beschreibung
InhaltsangabeIntroduction.- Software Engineering Mathematics.- Logic for Software Engineering.- Z Specification Language.- Vienna Development Method.- Irish School of VDM.- Dijkstra and Hoare.- The Parnas Way.- Cleanroom and Software Reliability.- Unified Modeling Language.- Technology Transfer.- Glossary.
Informationen gemäß Produktsicherheitsverordnung
Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg
