Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Doron A Peled | Booky.fi

Haullasi löytyi yhteensä 10 tuotetta
Haluatko tarkentaa hakukriteerejä?



Software Reliability Methods
Doron A. Peled, Peled
Springer Nature B.V.
2013
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tuotteen saatavuus varmistetaan tilauskohtaisesti. Voit jättää tilauksen, niin tarkistamme saatavuuden tavarantoimittajilta. Jos tuotetta ei ole saatavissa, olemme sinuun yhteydessä ja perumme tilauksesi.
Software Reliability Methods
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
108,00 €
Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008,
Peled, Doron A.; Wooldridge, Michael
Springer
2009
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Software Reliability Methods
Peled, Doron A.
Springer
2001
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Software Reliability Methods
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Formal Techniques for Networked and Distributed Systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston,
Peled, Doron A.; Vardi, Moshe Y.
Springer
2002
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Formal Techniques for Networked and Distributed Systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Automated Technology for Verification and Analysis - Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005
Peled, Doron A.; Tsay, Yih-Kuen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Automated Technology for Verification and Analysis - Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Software Reliability Methods
Peled, Doron A.
Springer
2011
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Software Reliability Methods
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Alur, Rajeev; Peled, Doron A.
Springer
2004
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Verification, Model Checking, and Abstract Interpretation - 9th International Conference, VMCAI 2008, San Francisco, USA, Januar
Logozzo, Francesco; Peled, Doron A.; Zuck, Leonore D.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Verification, Model Checking, and Abstract Interpretation - 9th International Conference, VMCAI 2008, San Francisco, USA, Januar
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Runtime Verification - 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Bensalem, Saddek; Peled, Doron A.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Runtime Verification - 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Time for Verification - Essays in Memory of Amir Pnueli
Manna, Zohar; Peled, Doron A.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Time for Verification - Essays in Memory of Amir Pnueli
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
91,00 €

Näytä lisää...