Summary goes here
Furkejuvvon:
| Materiálatiipa: | Girji |
|---|---|
| Giella: | eaŋgalasgiella |
| Fáttát: | |
| Fáddágilkorat: |
Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | df738059-60d3-4edf-9df9-ce76c2e1b2ac |
| isbn | 9783642114472 3642114474 1280385480 9781280385483 9786613563408 6613563404 9788364211447 8364211447 |
| issn | |
| language | eng |
| physical | 1 online resource (xvi, 233 pages) :illustrations |
| publication | – publisher: Springer dateOfPublication: ©2009 |
| publishDate | ©2009 |
| subjects | |
| title | Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday / volume editor, Jean-Raymond Abrial, Uwe Glässer. |
| topic | Formal methods (Computer science) Méthodes formelles (Informatique) System design. Formal methods (Computer science) Informatique. Formal methods (Computer science) Conference papers and proceedings Festschriften. |