Importe total (1 artículo artículos):
Destino del pedido:
protzenko jonathan (14 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (14)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (12)
- Como nuevo, Excelente o Muy bueno (No hay ningún otro resultado que coincida con este filtro.)
- Bueno o Aceptable (1)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (1)
Encuadernación
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (5)
- No impresión bajo demanda (7)
Idioma (3)
Gastos de envío gratis
- Envío gratis a Estados Unidos de America (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
XUL: Mozilla XPFE, XPCOM, XBL, XPI, CSS, JavaScript, XML, RDF, DOM, PHP 5
Librería: Gallix, Gif sur Yvette, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 32,40
Envío por EUR 23,24
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Neuf.
-
Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14?15, 2024, Revised . (Lecture Notes in Computer Science, 15525)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 81,32
Envío por EUR 3,42
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
-
Verified Software. Theories, Tools and Experiments: 16th International Conference, Vstte 2024, Prague, Czech Republic, October 1415, 2024, Revised Selected Papers
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2025
ISBN 10: 3031866940 ISBN 13: 9783031866944
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 75,05
Envío por EUR 11,48
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 130 pages. 9.25x6.10x9.21 inches. In Stock.
-
EUR 4,56
Envío por EUR 56,50
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: very good. couverture souple, moyen format , bon état. . 1027918 - XUL - Mozilla, XPFE, XPCOM, XBL, XPI, CSS, JavaScript, XML, RDF, DOM, PHP5 : Les cahiers du programmeur, Jonathan Protzenko, Benoît Picaud, Stéphane Mariel, Eyrolles, 2005.
-
XUL. Entwicklung von Rich Clients mit der Mozilla XML User Interface Language.
Idioma: Alemán
Publicado por München, Open Source Press., 2007
ISBN 10: 3937514236 ISBN 13: 9783937514239
Librería: Steamhead Records & Books, Rodgau-Nieder-Roden, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 4,00
Envío por EUR 46,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito24 cm, 351 Seiten, mit Illustrationen, weißer illustrierter Pappband. nur leichte Gebrauchsspuren, gut bis sehr gut erhalten. Sprache: Deutsch.
-
Verified Software. Theories, Tools and Experiments : 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
Idioma: Inglés
Publicado por Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 3031866940 ISBN 13: 9783031866944
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 61,07
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14 15, 2024.The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with theinteraction of theory development, tool evolution and experimental validation in science and technology of software verification.
-
Verified Software. Theories, Tools and Experiments | 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 50,35
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Verified Software. Theories, Tools and Experiments | 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers | Jonathan Protzenko (u. a.) | Taschenbuch | Lecture Notes in Computer Science | ix | Englisch | 2025 | Springer | EAN 9783031866944 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Verified Software. Theories, Tools and Experiments (eng)
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 4 de 5 estrellas
EUR 46,22
Envío por EUR 4,00
Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
-
Verified Software. Theories, Tools and Experiments
Idioma: Inglés
Publicado por Springer, Berlin, Springer Nature Switzerland, Springer, 2025
ISBN 10: 3031866940 ISBN 13: 9783031866944
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14 15, 2024.The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with theinteraction of theory development, tool evolution and experimental validation in science and technology of software verification. 121 pp. Englisch.
-
Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14?15, 2024, Revised . (Lecture Notes in Computer Science, 15525)
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 79,72
Envío por EUR 7,46
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand.
-
Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14?15, 2024, Revised . (Lecture Notes in Computer Science, 15525)
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 81,03
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND.
-
Verified Software. Theories, Tools and Experiments
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 48,74
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
-
Verified Software. Theories, Tools and Experiments (Paperback)
Idioma: Inglés
Publicado por Springer International Publishing AG, Cham, 2025
ISBN 10: 3031866940 ISBN 13: 9783031866944
Librería: CitiRetail, Stevenage, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 65,62
Envío por EUR 42,48
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 1415, 2024.The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with the interaction of theory development, tool evolution and experimental validation in science and technology of software verification. This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 1415, 2024.The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Verified Software. Theories, Tools and Experiments
Idioma: Inglés
Publicado por Springer, Springer Mai 2025, 2025
ISBN 10: 3031866940 ISBN 13: 9783031866944
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 1415, 2024.The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with the interaction of theory development, tool evolution and experimental validation in science and technology of software verification.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 132 pp. Englisch.
