Summary goes here
Збережено в:
| Формат: | Книга |
|---|---|
| Мова: | Англійська |
| Предмети: | |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | c19f8dfe-b8f3-44a7-8b09-8665c94ac730 |
| isbn | 9783540247562 3540247564 3540213775 9783540213772 1280307269 9781280307263 9786610307265 6610307261 |
| issn | |
| language | eng |
| physical | 1 online resource |
| publication | – publisher: SpringerVerlag Berlin Heidelberg dateOfPublication: 2004 |
| publishDate | 2004 |
| subjects | |
| title | Integrated Formal Methods : 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings / edited by Eerke A. Boiten, John Derrick, Graeme Smith. |
| topic | Computer science. Software engineering. Logic design. Logics and Meanings of Programs. Programming Techniques. Programming Languages, Compilers, Interpreters. Electronic data processing. Formal methods (Computer science) Méthodes formelles (Informatique) Informatique. Génie logiciel. Structure logique. data processing. computer science. COMPUTERS COMPUTERS COMPUTERS COMPUTERS COMPUTERS COMPUTERS COMPUTERS Formal methods (Computer science) Electronic data processing Computer science Logic design Software engineering Formale Methode Formale Spezifikationstechnik Kongress Model Checking Systementwicklung Verifikation Méthode formelle. Conference papers and proceedings Canterbury (2004) |