Katalog der Deutschen Nationalbibliothek

Neuigkeiten Aufgrund von Baumaßnahmen ist die Deutsche Nationalbibliothek in Frankfurt am Main vom 28. Oktober bis 9. November 2024 geschlossen.
Due to construction work, the German National Library in Frankfurt am Main will be closed from 28 October to 9 November 2024.
 
 

Ergebnis der Suche nach: num all "9783642114465"



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/998805041
Art des Inhalts Aufsatzsammlung
Titel Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday / Jean-Raymond Abrial ; Uwe Glässer (ed.)
Person(en) Abrial, Jean-Raymond (Herausgeber)
Börger, Egon (Gefeierter)
Verlag Berlin ; Heidelberg ; New York, NY : Springer
Zeitliche Einordnung Erscheinungsdatum: 2009
Umfang/Format XVI, 233 S. : Ill., graph. Darst. ; 24 cm
ISBN/Einband/Preis 978-3-642-11446-5 kart. : EUR 49.22 (freier Pr.), sfr 71.50 (freier Pr.)
Bestellnummer(n) 12821952
EAN 9783642114465
Sprache(n) Englisch (eng)
Beziehungen Lecture notes in computer science ; 5115 : Festschrift
Anmerkungen Literaturangaben
Schlagwörter Software Engineering ; Aufsatzsammlung
Programmierung ; Formale Methode ; Aufsatzsammlung
Softwarespezifikation ; Systemanalyse ; Aufsatzsammlung
DDC-Notation 005.1 [DDC22ger]; 005.12 [DDC22ger]; 005.131 [DDC22ger]
Sachgruppe(n) 004 Informatik
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 2010 A 9729
Bereitstellung in Frankfurt
Leipzig Signatur: 2010 A 12684
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <


E-Mail-IconAdministration