Namjoshi kedar (53 risultati)

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Nuovo

EUR 52,40

EUR 2,31 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

Verification, Model Checking, And Abstract Interpretation : 7th International Conference, Vmcai 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

Lingua: Inglese

Editore: Springer, 2005

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Nuovo

EUR 56,52

EUR 2,31 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, Vmcai 2006, Charleston, Sc, Usa, January 8-10, 2006, Proceedi (Paperback or Softback)

Emerson, E. Allen

Lingua: Inglese

Editore: Springer 12/19/2005, 2005

Brossura

Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

Venditore con 5 stelle

Namjoshi, Kedar (EDT); Yoneda, Tomohiro (EDT); Higashino, Teruo (EDT); Okamura, Yoshio (EDT)

Condizione: Nuovo

EUR 58,91

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Paperback or Softback. Condizione: New. Verification, Model Checking, and Abstract Interpretation: 7th International Conference, Vmcai 2006, Charleston, Sc, Usa, January 8-10, 2006, Proceedi. Book.

Automated Technology for Verification and Analysis : 5th International Symposium, Atva 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Lingua: Inglese

Editore: Springer, 2007

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Nuovo

EUR 56,65

EUR 2,31 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (Paperback or Softback)

Namjoshi, Kedar

Lingua: Inglese

Editore: Springer 10/9/2007, 2007

Brossura

Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

Venditore con 5 stelle

Condizione: Nuovo

EUR 59,04

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Paperback or Softback. Condizione: New. Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings. Book.

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (Lecture Notes in Computer Science, 4762)

Lingua: Inglese

Editore: Springer, 2007

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 61,32

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science, 3855)

Lingua: Inglese

Editore: Springer, 2005

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Namjoshi, Kedar (EDT); Zeller, Andreas (EDT); Ziv, Avi (EDT)

Condizione: Nuovo

EUR 61,32

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, Hcv 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2011

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Kedar Namjoshi, Andreas Zeller, Avi Ziv

Condizione: Usato - Come nuovo

EUR 62,28

EUR 2,31 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: As New. Unread book in perfect condition.

Hardware and Software: Verification and Testing

Lingua: Inglese

Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011

Brossura

Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA

Venditore con 5 stelle

Condizione: Nuovo

EUR 65,06

Spedizione gratuita

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Paperback. Condizione: New. 2011 ed.

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (Lecture Notes in Computer Science, 4762)

Lingua: Inglese

Editore: Springer, 2007

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,35

EUR 14,05 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science, 3855)

Lingua: Inglese

Editore: Springer, 2005

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,35

EUR 14,05 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, ... (Lecture Notes in Computer Science, 6405)

Lingua: Inglese

Editore: Springer, 2011

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,35

EUR 14,05 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revis

Namjoshi, Kedar

Lingua: Inglese

Editore: Springer 2011-02, 2011

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

E. Allen Emerson, Kedar S. Namjoshi

Condizione: Nuovo

EUR 57,53

EUR 18,16 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

PF. Condizione: New.

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science)

Lingua: Inglese

Editore: Springer 2008-06-13, 2008

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Condizione: Nuovo

EUR 57,91

EUR 18,16 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

Verification, Model Checking, And Abstract Interpretation : 7th International Conference, Vmcai 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

Lingua: Inglese

Editore: Springer, 2005

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Namjoshi, Kedar (EDT); Yoneda, Tomohiro (EDT); Higashino, Teruo (EDT); Okamura, Yoshio (EDT)

Condizione: Nuovo

EUR 60,90

EUR 17,59 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Automated Technology for Verification and Analysis : 5th International Symposium, Atva 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Lingua: Inglese

Editore: Springer, 2007

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Namjoshi, Kedar (Editor)/ Zeller, Andreas (Editor)/ Ziv, Avi (Editor)

Condizione: Nuovo

EUR 61,34

EUR 17,59 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, Hcv 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2011

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Namjoshi, Kedar (Editor)/ Yoneda, Tomohiro (Editor)/ Higashino, Teruo (Editor)/ Okamura, Yoshio (Editor)

Condizione: Nuovo

EUR 78,32

EUR 11,73 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 1st edition. 169 pages. 9.25x6.10x0.41 inches. In Stock.

Automated Technology for Verification and Analysis: 5th International Symposium, Atva 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2007

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Condizione: Nuovo

EUR 85,48

EUR 14,66 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 1st edition. 566 pages. 9.21x6.06x1.34 inches. In Stock.

Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings (Programming and Software Engineering)

Lingua: Inglese

Editore: Springer, 2021

Serie: Lecture Notes in Computer Science, Libro 128 di 129. Libro 128 di 129 - Lecture Notes in Computer Science

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Dragoi, Cezara (EDT); Mukherjee, Suvam (EDT); Namjoshi, Kedar (EDT)

Condizione: Nuovo

EUR 92,28

EUR 14,05 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Static Analysis : 28th International Symposium, SAS 2021, Chicago, Il, USA, October 17-19, 2021, Proceedings

Lingua: Inglese

Editore: Springer, 2021

Serie: Lecture Notes in Computer Science, Libro 128 di 129. Libro 128 di 129 - Lecture Notes in Computer Science

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Nuovo

EUR 106,74

EUR 2,31 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Unbekannt

Lingua: Inglese

Editore: Springer, 2007

Brossura

Da: Buchpark, Trebbin, GermaniaBuchpark

Venditore con 5 stelle

Dragoi, Cezara (EDT); Mukherjee, Suvam (EDT); Namjoshi, Kedar (EDT)

Condizione: Usato - Ottimo

EUR 8,69

EUR 105,00 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 584 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoret…

Static Analysis : 28th International Symposium, SAS 2021, Chicago, Il, USA, October 17-19, 2021, Proceedings

Lingua: Inglese

Editore: Springer, 2021

Serie: Lecture Notes in Computer Science, Libro 128 di 129. Libro 128 di 129 - Lecture Notes in Computer Science

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 116,98

EUR 2,31 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: As New. Unread book in perfect condition.

Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

E. Allen Emerson

Lingua: Inglese

Editore: Springer, Springer, 2005

Brossura

Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

Venditore con 5 stelle

Condizione: Nuovo

EUR 53,49

EUR 63,46 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretat…

Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Kedar Namjoshi

Lingua: Inglese

Editore: Springer, Springer, 2007

Brossura

Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

Venditore con 5 stelle

Condizione: Nuovo

EUR 53,49

EUR 64,37 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods t…

Automated Technology for Verification and Analysis | 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Kedar Namjoshi (u. a.)

Lingua: Inglese

Editore: Springer, 2007

Brossura

Da: preigu, Osnabrück, Germaniapreigu

Venditore con 5 stelle

Condizione: Nuovo

EUR 50,40

EUR 70,00 spedizione

Spedito da Germania a U.S.A.

Quantità: 5 disponibili

Static Analysis : 28th International Sym

Dragoi, Cezara

Lingua: Inglese

Editore: Springer, 2021

Serie: Lecture Notes in Computer Science, Libro 128 di 129. Libro 128 di 129 - Lecture Notes in Computer Science

Brossura

Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.

Venditore con 5 stelle

Condizione: Nuovo

EUR 109,36

EUR 10,50 spedizione

Spedito da Irlanda a U.S.A.

Quantità: 15 disponibili

Condizione: New.

Verification, Model Checking, And Abstract Interpretation : 7th International Conference, Vmcai 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

Lingua: Inglese

Editore: Springer, 2005

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 111,11

EUR 17,59 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17?19, 2021, Proceedings (Programming and Software Engineering)

Lingua: Inglese

Editore: Springer, 2021

Serie: Lecture Notes in Computer Science, Libro 128 di 129. Libro 128 di 129 - Lecture Notes in Computer Science

Brossura

Da: Books Puddle, New York, NY, U.S.A.Books Puddle

Venditore con 4 stelle

Emerson, E. Allen, Namjoshi, Kedar S.

Condizione: Nuovo

EUR 125,26

EUR 3,49 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science (3855))

Lingua: Inglese

Editore: Springer, 2005

Brossura

Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books

Venditore con 4 stelle

Condizione: Usato - Come nuovo

EUR 101,46

EUR 29,32 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

Paperback. Condizione: Like New. Like New. book.

Verification, Model Checking, And Abstract Interpretation : 7th International Conference, Vmcai 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

Lingua: Inglese

Editore: Springer, 2005

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle