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 | 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. |