Wolff burkhart editor

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science)

Basin, David [Editor]; Wolff, Burkhart [Editor];

Idioma: Inglés

Editorial: Springer, 2003

3540406646 / 9783540406648

Tapa blanda

Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de AmericaGuthrieBooks

Vendedor de 5 estrellas

Contactar con el vendedor

Condición: Usado - Bueno

EUR 36,61

Envío por EUR 6,22

Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponible

Paperback. Condición: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, . / Programming and Software Engineering)

Havelund, Klaus [Editor]; NÃ?Âºnez, Manuel [Editor]; Rosu, Grigore [Editor]; Wolff, Burkhart [Editor];

Idioma: Inglés

Editorial: Springer, 2006

3540496998 / 9783540496991

Tapa blanda

Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de AmericaGuthrieBooks

Vendedor de 5 estrellas

Contactar con el vendedor

Condición: Usado - Bueno

EUR 39,63

Envío por EUR 6,22

Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponible

Paperback. Condición: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings (Lecture Notes in Computer Science)

Wolff, Burkhart (Editor) / Dubois, Catherine (Editor)

Idioma: Inglés

Editorial: Springer, 2018

3319929933 / 9783319929934

Tapa blanda

Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books

Vendedor de 5 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 80,09

Envío por EUR 11,86

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 2 disponibles

Paperback. Condición: Brand New. 200 pages. 9.25x6.10x0.47 inches. In Stock.

Tests and Proofs: 5th International Conference, Tap 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings

Gogolla, Martin (Editor)/ Wolff, Burkhart (Editor)

Idioma: Inglés

Editorial: Springer-Verlag New York Inc, 2011

3642217672 / 9783642217678

Tapa blanda

Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books

Vendedor de 5 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 80,74

Envío por EUR 11,86

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponible

Paperback. Condición: Brand New. 2011 edition. 204 pages. 9.00x6.00x0.50 inches. In Stock.

Testing Software and Systems: 23rd Ifip Wg 6.1 International Conference, Ictss 2011, Paris, France, November 7-10, 2011, Proceedings

Wolff, Burkhart (Editor)/ Zaidi, Fatiha (Editor)

Idioma: Inglés

Editorial: Springer-Verlag New York Inc, 2011

364224579X / 9783642245794

Tapa blanda

Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books

Vendedor de 5 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 81,01

Envío por EUR 11,86

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 2 disponibles

Paperback. Condición: Brand New. 2011 edition. 236 pages. 9.50x6.25x0.50 inches. In Stock.

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August . Papers (Lecture Notes in Computer Science)

Havelund, Klaus (Editor)/ Núnez, Manuel (Editor)/ Rosu, Grigore (Editor)/ Wolff, Burkhart (Editor)

Idioma: Inglés

Editorial: Springer-Verlag New York Inc, 2007

3540496998 / 9783540496991

Tapa blanda

Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books

Vendedor de 5 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 81,29

Envío por EUR 11,86

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 2 disponibles

Paperback. Condición: Brand New. 1st edition. 255 pages. 9.37x6.06x0.63 inches. In Stock.

Wolff burkhart editor (6 resultados)

Filtrar la búsqueda

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science)

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, . / Programming and Software Engineering)

Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings (Lecture Notes in Computer Science)

Tests and Proofs: 5th International Conference, Tap 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings

Testing Software and Systems: 23rd Ifip Wg 6.1 International Conference, Ictss 2011, Paris, France, November 7-10, 2011, Proceedings

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August . Papers (Lecture Notes in Computer Science)