|
|

avaa valikko

Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of t
Erika Abraham, Klaus Havelund
51,10 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 652 sivua
Asu: Pehmeäkantinen kirja
Painos: 2014 ed.
Julkaisuvuosi: 2014, 11.03.2014 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 8413
The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions.

LISÄÄ OSTOSKORIIN
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tilaustuote

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 1-3 viikossa.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of tSuurenna kuva
Näytä kaikki tuotetiedot
ISBN:
9783642548611
Asiasanat:
automatatheory complexity DecisionProcedures DynamicAnalysis formalmethods hardwareverification logic modelchecking modelsofcomputation ProbabilisticSystems Programspecifications ProgrammingLanguages realtime Softwareengineering softwraeverif
Aihealue:
Ulkomaiset kirjat » Computers » Computer Science
Kansikuva tuotteelle