Treffer: Software Engineering 2
Titel:
Software Engineering 2 : Specification of Systems and Languages / by Dines Bjørner
Verantwortlich:
Ausgabe:
1st ed. 2006
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XXIV, 780 Seiten) : 151 illus.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Texts in Theoretical Computer Science. An EATCS Series, ISSN 1862-4502
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Bjørner, Dines. Software Engineering 2. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540211501
ISBN:
9783540331933 ; 354033193X ; 3540211500 ; 3540801111 ; 3642059406 ; 9783540211501 (Sekundärausgabe) ; 9783540801115 (Sekundärausgabe) ; 9783642059407 (Sekundärausgabe)
DOI:
10.1007/978-3-540-33193-3