Interactive systems
: design, specification, and verification ; 10th international workshop ; revised papers / DSV IS 2003, Funchal, Madeira Island, Portugal, June 11 - 13, 2003. Joaquim A. Jorge ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2844)
ISBN 978-3-540-39929-2
Lizenzpflichtig
Quelle: DNB
Interactive systems
: design, specification, and verification ; 8th international workshop ; revised papers / DSV-IS 2001, Glasgow, Scotland, UK, June 13 - 15, 2001. C. Johnson (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2220)
ISBN 978-3-540-45522-6
Lizenzpflichtig
Quelle: DNB
Interactive systems
: design, specification, and verification ; 7th international workshop ; revised papers / DSV-IS 2000, Limerick, Ireland, June 2000. P. Palanque ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1946)
ISBN 978-3-540-44675-0
Lizenzpflichtig
Quelle: DNB
Interactive Systems
: design, specification, and verification ; 9th international workshop ; revised papers / DSV-IS 2002, Rostock, Germany, June 12 - 14, 2002. Peter Forbrig ... (ed.). - Berlin : Springer, 2002. - X, 267 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2545)
ISBN 978-3-540-00266-6 / 3-540-00266-9 kart. : EUR 42.80
Literaturangaben
Quelle: DNB
Interactive Systems
: design, specification, and verification ; 9th international workshop ; revised papers / DSV-IS 2002, Rostock, Germany, June 12 - 14, 2002. P. Forbrig ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2545)
ISBN 978-3-540-36235-7
Lizenzpflichtig
Quelle: DNB
Modular specification and verification of object oriented programs
/ P. Müller. - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2262)
ISBN 978-3-540-45651-3
Lizenzpflichtig
Quelle: DNB
Program development by specification and transformation
: the PROSPECTRA methodology, language family, and system / Berthold Hoffmann ; Bernd Krieg-Brückner (ed.). - Berlin : Springer, 1993. - XIV, 623 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 680)
ISBN 978-3-540-56733-2 / 3-540-56733-X kart. : DM 114.00
Literaturverz. S. 589 - 623
Quelle: DNB
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
: proceedings / 8th European Symposium on Programming, ESOP '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 1999. S. Doaitse Swierstra (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1576)
ISBN 978-3-540-49099-9
Lizenzpflichtig
Quelle: DNB
Recent advances in the development and use of the B method
: proceedings / B'98, Second International B Conference, Montpellier, France, April 1998. Didier Bert (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1393)
ISBN 978-3-540-69769-5
Lizenzpflichtig
Quelle: DNB
