Order Total (1 Item Items):
Shipping Destination:
Giacobazzi Roberto (50 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (50)
- 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 (41)
- As New, Fine or Near Fine (6)
- Very Good or Good (2)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (50)
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 (28)
- Not Print on Demand (31)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Static Analysis. 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
Language: English
Published by Berlin, Springer, 2004
Seller: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Association Member: GIAQ
Seller rating 5 out of 5 stars
Paperback. Condition: Sehr gut. 2004. 396 S.; Ill. Very good. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 715.
-
Static Analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
Language: English
Published by Springer Berlin / Heidelberg, 2004
ISBN 10: 3540227911 ISBN 13: 9783540227915
Condition: Very Good. 2004th Edition. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
-
Condition: As New. Unread book in perfect condition.
-
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 45.35
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Static Analysis: 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20â"22, 2024, Proceedings (Lecture Notes in Computer Science)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Very Good.
-
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings (Lecture Notes in Computer Science, 3148)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Static Analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, Vmcai 2013, Rome, Italy, January 20-22, 2013, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Static Analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Paperback. Condition: Brand New. 2013 edition. 563 pages. 9.00x6.25x1.00 inches. In Stock.
-
Static Analysis (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2025
ISBN 10: 3031747755 ISBN 13: 9783031747755
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and application advances in this area.The 18 papers included here were carefully reviewed and selected from 45 submissions. This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Static analysis is a research area aimed at developing principles and tools for veri cation, certi cation, semantics-based manipulation, and high-performance implementation of programming languages and systems. The series of Static Analysis symposia has served as the primary venue for presentation and disc- sion of theoretical, practical, and application advances in the area. This volume contains the papers accepted for presentation at the 11th Int- nationalStaticAnalysisSymposium(SAS2004),whichwasheldAugust26 28in Verona,Italy.Inresponse to the callfor papers,63contributions weresubmitted from 20 di erent countries. Following on-line discussions, the ProgramComm- tee met in Verona on May 06, and selected 23 papers, basing this choice on their scienti c quality, originality, and relevance to the symposium. Each paper was reviewed by at least 3 PC members or external referees. In addition to the contributed papers, this volume includes contributions by outstanding invited speakers: a full invited paper by Thomas Henzinger (University of Califorina at Berkeley), and abstracts of the talks given by the other invited speakers, Sheila McIlraith (University of Toronto), Ehud Shapiro (Weizmann Institute) and Yannis Smaragdakis (Georgia Institute of Technology).
-
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
Language: English
Published by Springer Berlin Heidelberg, 2013
ISBN 10: 3642358721 ISBN 13: 9783642358722
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
-
Taschenbuch. Condition: Neu. Static Analysis | 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings | Roberto Giacobazzi | Taschenbuch | xii | Englisch | 2004 | Springer | EAN 9783540227915 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Condition: Neu. Verification, Model Checking, and Abstract Interpretation | 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings | Roberto Giacobazzi (u. a.) | Taschenbuch | xi | Englisch | 2013 | Springer | EAN 9783642358722 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, Vmcai 2013, Rome, Italy, January 20-22, 2013, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Condition: As New. Unread book in perfect condition.
-
-
Static Analysis: 31st International Symposium, SAS 2024, Pasadena, Ca, USA, October 2022, 2024, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2025
ISBN 10: 3031747755 ISBN 13: 9783031747755
Paperback. Condition: Brand New. 474 pages. 9.25x6.10x9.25 inches. In Stock.
-
Taschenbuch. Condition: Neu. Static Analysis | 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings | Roberto Giacobazzi (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2025 | Springer | EAN 9783031747755 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 31stInternational Static Analysis Symposium, SAS 2024, held inPasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and application advances in this area.The 18papers included here were carefully reviewed and selected from 45 submissions.
-
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion ... Birthday (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 116.47
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New. 1st ed. 2023 edition NO-PA16APR2015-KAP.
-
Taschenbuch. Condition: Neu. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday | Pedro Lopez-Garcia (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2023 | Springer | EAN 9783031314759 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Language: English
Published by Springer-Nature New York Inc, 2023
ISBN 10: 3031314751 ISBN 13: 9783031314759
Paperback. Condition: Brand New. 365 pages. 9.25x6.10x0.76 inches. In Stock.
-
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Language: English
Published by Springer Nature Switzerland, 2023
ISBN 10: 3031314751 ISBN 13: 9783031314759
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. degree in Computer Science and Engineering from the University of Texas at Austin, and among various positions he was an endowed chair in Information Science and Technology at the University of New Mexico. In 2007 he became the founding director of the IMDEA Software Institute, where he is now a Distinguished Professor, while also a full professor at Universidad Politécnica de Madrid (UPM).He has published more than 300 scientific publications, given numerous keynotes and invited talks at major conferences, coordinated many national and international projects, and served the community in major conference roles, on journal boards, and on funding, scientific, and research committees. Among his awards are the Julio Rey Pastor prize in Mathematics and Information Science and Technologyand the Aritmel prize in Computer Science; he is an elected member of the Academia Europaea; and in 2022 he was elected a Fellow of the ACM for contributions to program analysis, verification, parallelism, logic programming, and the IMDEA Software Institute.Throughout his career, Manuel has been at the forefront of the fields of logic programming, constraint programming, parallel programming, program analysis, program transformation, and programming environment design. The contributions in this volume reflect the quality and the scope of his personal and collaborative successes.
