Summary goes here
Gorde:
| Formatua: | Liburua |
|---|---|
| Hizkuntza: | ingelesa |
| Gaiak: | |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
| 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 |