Verified software: theories, tools, experiments
: second international conference ; proceedings / VSTTE 2008, Toronto, Canada, October 6 - 9, 2008. Natarajan Shankar ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5295)
ISBN 978-3-540-87873-5
Lizenzpflichtig
Quelle: DNB
Verified software: theories, tools, experiments
: first IFIP TC 2/WG 2.3 conference ; revised selected papers and discussions / VSTTE 2005, Zurich, Switzerland, October 10 - 13, 2005. Bertrand Meyer ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4171)
ISBN 978-3-540-69149-5
Lizenzpflichtig
Quelle: DNB
Web services and formal methods
: 4th international workshop ; proceedings / WS-FM 2007, Brisbane, Australia, September 28 - 29, 2007. Marlon Dumas ; Reiko Heckel (ed.). - Berlin : Springer, 2008. - VIII, 168 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4937)
ISBN 978-3-540-79229-1 kart. : EUR 44.94 (freier Pr.), sfr 70.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Web services and formal methods
: third international workshop ; proceedings / WS-FM 2006, Vienna, Austria, September 8 - 9, 2006. Mario Bravetti ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4184)
ISBN 978-3-540-38865-4
Lizenzpflichtig
Quelle: DNB
