KIRJAUDU
Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau,
65,40 €
Springer
Sivumäärä: 443 sivua
Asu: Pehmeäkantinen kirja
Painos: 1996 ed.
Julkaisuvuosi: 1996, 20.03.1996 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 1055
Sivumäärä: 443 sivua
Asu: Pehmeäkantinen kirja
Painos: 1996 ed.
Julkaisuvuosi: 1996, 20.03.1996 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 1055
This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996.
The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers.
The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Tilaustuote
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783540610427
Aihealue: