Chakraborty supratik editor (2 risultati)

Autore:

Perfeziona con la Ricerca avanzata

Verified Software: Theories, Tools, and Experiments; 11th International Conference, Vstte 2019, New York City, Ny, USA, July 13-14, 2019, Revised Selected Papers
Chakraborty, Supratik (Editor)/ Navas, Jorge A. (Editor)
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2020
3030415996 / 9783030415990
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 80,37
EUR 12,00 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Paperback. Condizione: Brand New. revised edition. 212 pages. 9.25x6.10x0.71 inches. In Stock.
Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings . / Programming and Software Engineering)
Mukund, Madhavan (Editor) / Chakraborty, Supratik (Editor)
Lingua: Inglese
Editore: Springer, 2012
3642333850 / 9783642333859
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 84,21
EUR 15,00 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Paperback. Condizione: Brand New. 2012 edition. 433 pages. 9.06x6.06x1.02 inches. In Stock.