An edition of FM'99-- formal methods
(1999)
FM'99-- formal methods
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
by World Congress on Formal Methods in the ...
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Congresses, Development, Formal methods (Computer science), Application software, Developpement, Engenharia de programacao (software), Conception de Systemes, Genie logiciel, Logiciels d'application, Methodes formelles (Informatique), Congres, Progiciels, Logic design, Computer science, Software engineering, Application software, development, Computers, congresses, System design| Edition | Availability |
|---|---|
1
FM'99-- formal methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
1999, Springer
in English
3540665870 9783540665878
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references and indexes
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created October 10, 2008
- 13 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 17, 2024 | Edited by MARC Bot | import existing book |
| March 21, 2023 | Edited by ImportBot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| December 1, 2020 | Edited by MARC Bot | import existing book |
| October 10, 2008 | Created by ImportBot | Imported from Miami University of Ohio MARC record |