Summary goes here
Kaydedildi:
| Materyal Türü: | Kitap |
|---|---|
| Dil: | İngilizce |
| Konular: | |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 9c8b8344-9151-4e04-a635-f2bbfca1a2d7 |
| 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. |