Summary goes here
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 24ee507e-916e-4db3-8c0a-eac86e7d3b13 |
| isbn | 9783540322405 354032240X 3540304924 9783540304920 6611391606 9786611391607 |
| issn | |
| language | eng |
| physical | 1 online resource (xi, 405 pages) :illustrations |
| publication | – publisher: Springer dateOfPublication: ©2005 |
| publishDate | ©2005 |
| subjects | |
| title | Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, the Netherlands, November 29--December 2, 2005 : proceedings / Judi Romijn, Graeme Smith, Jaco van de Pol (eds.). |
| topic | Formal methods (Computer science) Electronic Data Processing Méthodes formelles (Informatique) computer science. data processing. COMPUTERS COMPUTERS COMPUTERS COMPUTERS COMPUTERS COMPUTERS COMPUTERS Informatique. Formal methods (Computer science) Formale Methode Model Checking Softwareentwicklung Spezifikationssprache Systementwicklung Verifikation Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Eindhoven (2005) Kongress. |