1st Irish Workshop on Formal Methods
: proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3 - 4 July 1997 / Gerard O'Regan and Sharon Flynn (ed.). Publ. in collab. with the British Computer Society. - London : Springer, 1997. - 7 S.; 21 cm - (Electronic Workshops in Computing)
ISBN 978-3-540-76196-9 / 3-540-76196-9 geh. : DM 68.00 (mit Zugriffsrecht auf Online-Publikation)
Online-Publikation im Internet unter der Adresse http://ewic.springer.co.uk/ verfügbar
Quelle: DNB
Abstract state machines 2003
: advances in theory and practice ; 10th international workshop ; proceedings / ASM 2003, Taormina, Italy, March 3 - 7, 2003. Egon Börger ... (ed.). - Berlin : Springer, 2003. - XI, 424 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2589)
ISBN 978-3-540-00624-4 / 3-540-00624-9 kart. : EUR 57.78
Literaturangaben
Quelle: DNB
Advances in computer science - ASIAN 2006
: secure software and related issues ; revised selected papers / 11th Asian Computing Science Conference, Tokyo, Japan, December 6 - 8, 2006. Mitsu Okada ; Ichiro Satoh (ed.). - Berlin : Springer, 2007. - XV, 360 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4435)
ISBN 978-3-540-77504-1 / 3-540-77504-8 kart. : EUR 55.64 (freier Pr.), sfr 91.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Advances in computing science - ASIAN '99
: proceedings / 5th Asian Computing Science Conference, Phuket, Thailand, December 1999. P. S. Thiagarajan ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1742)
ISBN 978-3-540-46674-1
Lizenzpflichtig
Quelle: DNB
Algebra and coalgebra in computer science
: second international conference ; proceedings / CALCO 2007, Bergen, Norway, August 20 - 24, 2007. Till Mossakowski ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4624)
ISBN 978-3-540-73859-6
Lizenzpflichtig
Quelle: DNB
Algebra and coalgebra in computer science
: first international conference ; proceedings / CALCO 2005, Swansea, UK, September 3 - 6, 2005. José Luiz Fiadeiro ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3629)
ISBN 978-3-540-31876-7
Lizenzpflichtig
Quelle: DNB
Algebraic and coalgebraic methods in the mathematics of program construction
: international summer school and workshop, Oxford, UK, April 10 - 14, 2000 ; revised lectures / R. Backhouse ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2297)
ISBN 978-3-540-47797-6
Lizenzpflichtig
Quelle: DNB
Applied formal methods - FM trends 98
: proceedings / International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 - 9, 1998. Dieter Hutter ... (ed.). - Berlin : Springer, 1999. - XI, 376 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1641)
ISBN 978-3-540-66462-8 / 3-540-66462-9 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Applying formal methods
: testing, performance and M/E commerce ; proceedings / FORTE 2004 Workshops The FormEMC ..., Toledo, Spain, October 1 - 2, 2004. Manuel Núnez ... (ed.). - Berlin : Springer, 2004. - XI, 379 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3236)
ISBN 978-3-540-23169-1 / 3-540-23169-2 kart. : EUR 55.64 (freier Pr.), sfr 92.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Automated technology for verification and analysis
: second international conference : proceedings / ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Farn Wang (ed.). - Berlin : Springer, 2004. - XII, 506 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3299)
ISBN 978-3-540-23610-8 / 3-540-23610-4 kart. : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
