Order Total (1 Item Items):
Shipping Destination:
Jonathan Protzenko (14 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (14)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (12)
- As New, Fine or Near Fine (No further results match this refinement)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (5)
- Not Print on Demand (7)
Language (3)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
-
-
Verified Software. Theories, Tools and Experiments: 16th International Conference, Vstte 2024, Prague, Czech Republic, October 1415, 2024, Revised Selected Papers
Language: English
Published by Springer-Nature New York Inc, 2025
ISBN 10: 3031866940 ISBN 13: 9783031866944
Paperback. Condition: Brand New. 130 pages. 9.25x6.10x9.21 inches. In Stock.
-
Condition: 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.
Language: German
Published by München, Open Source Press., 2007
ISBN 10: 3937514236 ISBN 13: 9783937514239
Seller: Steamhead Records & Books, Rodgau-Nieder-Roden, Germany
Seller rating 5 out of 5 stars
24 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
Language: English
Published by Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 3031866940 ISBN 13: 9783031866944
Taschenbuch. Condition: 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.
-
Taschenbuch. Condition: 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.
-
Condition: new. Questo è un articolo print on demand.
-
Verified Software. Theories, Tools and Experiments
Language: English
Published by Springer, Berlin, Springer Nature Switzerland, Springer, 2025
ISBN 10: 3031866940 ISBN 13: 9783031866944
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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
Language: English
Published by Springer Verlag GmbH, 2025
ISBN 10: 3031866940 ISBN 13: 9783031866944
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
-
Verified Software. Theories, Tools and Experiments (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2025
ISBN 10: 3031866940 ISBN 13: 9783031866944
Paperback. Condition: 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
Language: English
Published by Springer, Springer Mai 2025, 2025
ISBN 10: 3031866940 ISBN 13: 9783031866944
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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.
