Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2021)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents(35 papers)
About this book
Editors and Affiliations
-
Computer Science Department, University of Minho, Braga, Portugal
José Nuno Oliveira
-
AT&T Laboratories — Research, Florham Park, USA
Pamela Zave
Bibliographic Information
Book Title: FME 2001: Formal Methods for Increasing Software Productivity
Book Subtitle: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings
Editors: José Nuno Oliveira, Pamela Zave
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-45251-6
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2001
Softcover ISBN: 978-3-540-41791-0Published: 28 February 2001
eBook ISBN: 978-3-540-45251-5Published: 29 June 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 634
Topics: Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Software Engineering, Mathematical Logic and Formal Languages, IT in Business