About This Book

Title

Formal Methods and Software Engineering
9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

Editors

• Michael Butler
• Michael G. Hinchey
• María M. Larrondo-Petrie

Collection

Computer Science

Subjects

None Assigned

Copyright Year

2007

DOI

10.1007/978-3-540-76650-6

ISBN

978-3-540-76648-3

Additional Links

• About This Volume

Publisher

Springer Berlin / Heidelberg

SpringerLink Date

Saturday, October 27, 2007

About This Book Series

Title

Lecture Notes in Computer Science

Coverage

Volume 1 / 1973 - Volume 7260 / 2012

Collection

Computer Science

Subjects

• Artificial Intelligence and Robotics
• Computer Communication Networks
• Software Engineering
• Data Encryption
• Database Management
• Computation by Abstract Devices
• Algorithm Analysis and Problem Complexity

ISSN

0302-9743 (Print)
1611-3349 (Online)

Additional Links

• About This Series

Publisher

Springer Berlin / Heidelberg

SpringerLink Date

Friday, April 05, 2002