Summary goes here
Kaydedildi:
| Materyal Türü: | Kitap |
|---|---|
| Dil: | İngilizce |
| Konular: | |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | b682a6e5-2d40-406b-9eb4-e935e9352f71 |
| isbn | 3540627901 9783540627906 |
| issn | |
| language | eng |
| physical | x, 431 pages :illustrations ;24 cm |
| publication | – publisher: Springer dateOfPublication: ©1997 |
| publishDate | ©1997 |
| subjects | |
| title | Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, the Netherlands, April 2-4, 1997 : proceedings / Ed Brinksma (ed.). |
| topic | System design Computer software Logiciels Conception de systèmes Computer software System design Verteiltes System Systemtheorie Logica. Programmatuurtechniek. Programacao de computadores. Computer software Génie logiciel. Systèmes, Analyse de. Systèmes, Conception de. Enschede <1997> Conference papers and proceedings |