Back to Search Start Over

Formal Methods: Foundations and Applications

Authors :
Jim Woodcock
Marcel Oliveira
Source :
Lecture Notes in Computer Science ISBN: 9783642104510, Formal Methods: Foundations and Applications
Publication Year :
2009
Publisher :
Springer Berlin Heidelberg, 2009.

Subjects

Subjects :
060201 languages & linguistics
Computer science
Management science
0602 languages and literature
0202 electrical engineering, electronic engineering, information engineering
020201 artificial intelligence & image processing
06 humanities and the arts
02 engineering and technology
Formal methods

Details

ISBN :
978-3-642-10451-0
ISBNs :
9783642104510
Database :
OpenAIRE
Journal :
Lecture Notes in Computer Science ISBN: 9783642104510, Formal Methods: Foundations and Applications
Accession number :
edsair.doi...........a80b790cb250eb9a8f6a284a7eb648d3
Full Text :
https://doi.org/10.1007/978-3-642-10452-7
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details