Search:

Type:

Format:

Library:

[ 2 filters applied ]

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

E-book

E-book

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

Butler, Michael. (editor.). Hinchey, Michael G. (editor.). Larrondo-Petrie, María M. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783540766506
Physical Description: electronic
electronic resource
access
remote
online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Search for related items by subject

Subject:

Computer science
Software engineering
Logic design
Computer Science
Programming Techniques
Software Engineering
Models and Principles
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters

Search for related items by series

Lecture Notes in Computer Science, 4789

Add to basket View My Basket Print Email Permalink Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Shelf Browser

► MARC Record