Programming and mathematical method
: [proceedings of the NATO Advanced Study Institute on Programming and Mathematical Method, held at Marktoberdorf, FRG, July 24 - August 5, 1990] / ed. by Manfred Broy. Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1992. - VIII, 407 S. : graph. Darst.; 25 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 88)
ISBN 978-3-540-55558-2 / 3-540-55558-7 Pp. : DM 148.00
Literaturangaben
Quelle: DNB
Programming languages and systems
: 6th Asian symposium ; proceedings / APLAS 2008, Bangalore, India, December 9 - 11, 2008. G. Ramalingam (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5356)
ISBN 978-3-540-89330-1
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: 6th Asian symposium ; proceedings / APLAS 2008, Bangalore, India, December 9 - 11, 2008. G. Ramalingam (ed.). - Berlin : Springer, 2008. - X, 341 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 5356)
ISBN 978-3-540-89329-5 kart. : EUR 52.38 (freier Pr.), sfr 81.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Programming languages and systems
: first Asian symposium / APLAS 2003, Beijing, China, November 27 - 29, 2003. Atsushi Ohori (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2895)
ISBN 978-3-540-40018-9
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Sophia Drossopoulou (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4960)
ISBN 978-3-540-78739-6
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: second Asian symposium ; proceedings / APLAS 2004, Taipei, Taiwan, November 4 - 6, 2004. Wei-Ngan Chin (ed.). - Berlin : Springer, 2004. - XIII, 452 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3302)
ISBN 978-3-540-23724-2 / 3-540-23724-0 kart. : EUR 64.20 (freier Pr.), sfr 106.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Programming languages and systems
: proceedings / 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Sophia Drossopoulou (ed.). - Berlin : Springer, 2008. - XIII, 397 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4960)
ISBN 978-3-540-78738-9 kart. : EUR 59.92 (freier Pr.), sfr 97.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Apt, Krzysztof R.: Programmverifikation
: sequentielle, parallele und verteilte Programme / Krzysztof R. Apt ; Ernst-Rüdiger Olderog. - Berlin : Springer, 1994. - XII, 258 S.; 24 cm - (Springer-Lehrbuch)
ISBN 978-3-540-57479-8 / 3-540-57479-4 kart. : DM 48.00, sfr 48.00, S 374.40
Literaturverz. S. 245 - 250
Quelle: DNB
Runtime verification
: 8th international workshop ; selected papers / RV 2008, Budapest, Hungary, March 30, 2008. Martin Leucker (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5289)
ISBN 978-3-540-89247-2
Lizenzpflichtig
Quelle: DNB
Hooman, Jozef J. M.: Specification and compositional verification of real time systems
/ J. Hooman. - Berlin : Springer, 1991. - VIII, 235 S.; 24 cm - (Lecture notes in computer science; 558)
ISBN 978-3-540-54947-5 / 3-540-54947-1 kart. : DM 39.50
Literaturverz. S. 228 - 235
Quelle: DNB
