|
|

avaa valikko

Doron Peled | Akateeminen Kirjakauppa

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



Doron Peled; Vaughan R. Pratt; Gerard J. Holzmann
MP-AMM American Mathematical
1997
Kovakantinen kirja
Partial Order Methods in Verification
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
173,60 €
Halbwachs, Nicolas; Peled, Doron
Springer
1999
Pehmeäkantinen kirja
Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Edited By Maximilian Irlbeck, Doron Peled And Alexander Pretschner
Ios Press
2015
Pehmeäkantinen kirja
Dependable Software Systems Engineering
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
222,60 €
Peled, Doron A.; Wooldridge, Michael
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja
Model Checking and Artificial Intelligence - 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Se
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Peled, Doron A.
Springer-Verlag New York Inc.
2001
Kovakantinen kirja
Software Reliability Methods
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Peled, Doron A.; Vardi, Moshe Y.
Springer
2002
Pehmeäkantinen kirja
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 €
Peled, Doron A.; Tsay, Yih-Kuen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja
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 €
Peled, Doron A.
Springer-Verlag New York Inc.
2011
Pehmeäkantinen kirja
Software Reliability Methods
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Doron A. Peled, Peled
Springer Nature B.V.
2013
Pehmeäkantinen kirja
Software Reliability Methods
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
105,70 €
Alur, Rajeev; Peled, Doron A.
Springer
2004
Pehmeäkantinen kirja
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 €
Logozzo, Francesco; Peled, Doron A.; Zuck, Leonore D.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja
Verification, Model Checking, and Abstract Interpretation - 9th International Conference, VMCAI 2008, San Francisco, USA, Januar
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bensalem, Saddek; Peled, Doron A.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja
Runtime Verification - 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Manna, Zohar; Peled, Doron A.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja
Time for Verification - Essays in Memory of Amir Pnueli
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
91,00 €
Artho, Cyrille; Legay, Axel; Peled, Doron
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Jr., Edmund M. Clarke; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
MIT Press Ltd
2018
Kovakantinen kirja
Model Checking
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
80,00 €

Näytä lisää...