Summary goes here
Kaydedildi:
| Materyal Türü: | Kitap |
|---|---|
| Dil: | İngilizce |
| Konular: | |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | a55bc2ee-9ef2-4ec6-9158-05ed6abda1cf |
| isbn | 9783642049125 3642049125 9788364204913 8364204912 |
| issn | |
| language | eng |
| physical | 1 online resource (vii, 175 pages) :illustrations |
| publication | – publisher: Springer dateOfPublication: ©2009 |
| publishDate | ©2009 |
| subjects | |
| title | Teaching formal methods : Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings / Jeremy Gibbons, José Nuno Oliveira (eds.). |
| topic | Formal methods (Computer science) Information theory. Electronic Data Processing Information Theory Méthodes formelles (Informatique) Informatique. Théorie de l'information. Informatique. Formal methods (Computer science) Formale Methode Informatikstudium Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. |