Hußmann, Heinrich: Formal foundations for software engineering methods

/ Heinrich Hußmann. - Berlin : Springer, 1997. - X, 286 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1322)

ISBN 978-3-540-63613-7 / 3-540-63613-7 Pp. : DM 66.00

Literaturverz. S. 271 - 277

Quelle: DNB

Formal hardware verification

: methods and systems in comparison / Thomas Kropf (ed.). - Berlin : Springer, 1997. - XII, 367 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 1287)

ISBN 978-3-540-63475-1 / 3-540-63475-4 kart. : DM 78.00

Literaturverz. S. 349 - 367

Quelle: DNB

Formal languages and applications

/ Carlos Martin-Vide ... (ed.). - Berlin : Springer, 2004. - VIII, 620 S. : graph. Darst.; 24 cm - (Studies in fuzziness and soft computing; Vol. 148)

ISBN 978-3-540-20907-2 / 3-540-20907-7 Pp. : EUR 160.45 ; sfr 254.00

Literaturangaben

Quelle: DNB Verlagsmeldungen

Formal methods

: proceedings / FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2805)

ISBN 978-3-540-45236-2

Lizenzpflichtig

Quelle: DNB

Formal methods

: proceedings / FM 2008, 15th International Symposium on Formal Methods, Turku, Finland, May 26 - 30, 2008. Jorge Cuellar ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5014)

ISBN 978-3-540-68237-0

Lizenzpflichtig

Quelle: DNB

Formal methods

: proceedings / FME 2006, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21 - 27, 2006. Jayadev Misra ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4085)

ISBN 978-3-540-37216-5

Lizenzpflichtig

Quelle: DNB

Formal methods

: proceedings / FME 2003, International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005. John Fitzgerald ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3582)

ISBN 978-3-540-31714-2

Lizenzpflichtig

Quelle: DNB

Formal methods

/ FM '99, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 / Jeannette M. Wing ... (ed.). - Berlin : Springer, 1999. - XVIII, 937 S. : graph. Darst. - (Lecture notes in computer science; Vol. 1708)

ISBN 978-3-540-66587-8 / 3-540-66587-0 kart. : DM 158.00

Quelle: DNB

Formal methods

/ FM '99, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 / Jeannette M. Wing ... (ed.). - Berlin : Springer, 1999. - XVIII S., S. 940 - 1875 : graph. Darst. - (Lecture notes in computer science; Vol. 1709)

ISBN 978-3-540-66588-5 / 3-540-66588-9 kart. : DM 158.00

Quelle: DNB

Formal methods

: proceedings / FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (ed.). - Berlin : Springer, 2003. - XVII, 942 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2805)

ISBN 978-3-540-40828-4 / 3-540-40828-2 kart. : EUR 98.44 (freier Pr.), sfr 153.00

Literaturangaben

Quelle: DNB