618470050  

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 (eds.)

Abrial, Jean-Raymond ; Börger, Egon [GefeierteR] ; Glässer, Uwe

Englisch

Berlin [u.a.] : Springer, 2009

Online-Ressource (XVI, 233 S.)

Literaturangaben

978-3-642-11447-2

Weitere Ausgaben: 3-642-11446-6 (Druckausgabe), 978-3-642-11446-5 (Druckausgabe)

DOI: 10.1007/978-3-642-11447-2

*Software Engineering

*Programmierung / Formale Methode

*Softwarespezifikation / Systemanalyse

*Algorithms ; Computer science ; Computer software ; Electronic data processing ; Information theory

Klassifikation der Library of Congress: QA76.9.F67

Dewey Dezimal-Klassifikation: 004n/a; ; 004;

Dewey Dezimal-Klassifikation: 005.1 ; 005.12 ; 005.131

Regensburger Verbund-Klassifikation: SS 4800: SQ-SU Informatik / SS Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen / SS 4000-SS 5999 Schriftenreihen (indiv. Sign.) / Lecture notes in computer science

Mathematics Subject Classification: *68-06

Mathematics Subject Classification: 68N30

Mathematics Subject Classification: 00B30

 

Online-Ausg.

2010

Electronic reproduction; Available via World Wide Web

https://zbmath.org/?q=an:1180.68002 [Zentralblatt MATH]

Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.

http://dx.doi.org/10.1007/978-3-642-11447-2 [E-books (Springer)]