Titolo laura (56 resultados)

Paperback. Condición: new. Paperback. This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 910, 2025.The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from 21 submissions. These papers cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condición: New.

Condición: New.

Paperback. Condición: New. This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9-10, 2025.The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from  21 submissions. These papers cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.…

Condición: As New. Unread book in perfect condition.

Condición: New. In.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: New.

Paperback. Condición: Brand New. 223 pages. 9.25x6.10x9.21 inches. In Stock.

Paperback. Condición: new. Paperback. This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 910, 2025.The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from 21 submissions. These papers cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

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

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20-22, 2023.The 14 full papers included in this book were carefully reviewed and selected from 24 submissions. The papers focus on development and application of formal methods in industry. FMICS is a platform for scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. FMICS also strives to promote research and development for the improvement of formal methods and tools for industrial applications.…

Condición: New. In.

Kartoniert / Broschiert. Condición: New.

paperback. Condición: Very Good. Cover and edges may have some wear.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9 10, 2025.The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from 21 submissions. These papers cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.…

Condición: New.

Taschenbuch. Condición: Neu. Logic-Based Program Synthesis and Transformation | 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings | Santiago Escobar (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2025 | Springer | EAN 9783032048479 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.…

Paperback. Condición: new. Paperback. This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 910, 2025.The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from 21 submissions. These papers cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

Taschenbuch. Condición: Neu. Formal Methods for Industrial Critical Systems | 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings | Alessandro Cimatti (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2023 | Springer | EAN 9783031436802 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Condición: New. This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9-10, 2025.The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from  21 submissions. These papers cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.…

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 272 | Sprache: Englisch | Produktart: Bücher | This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20¿22, 2023.The 14 full papers included in this book were carefully reviewed and selected from 24 submissions. The papers focus on development and application of formal methods in industry. FMICS is a platform for scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. FMICS also strives to promote research and development for the improvement of formal methods and tools for industrial applications.…

Condición: Hervorragend. Zustand: Hervorragend | Seiten: 272 | Sprache: Englisch | Produktart: Bücher | This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20¿22, 2023.The 14 full papers included in this book were carefully reviewed and selected from 24 submissions. The papers focus on development and application of formal methods in industry. FMICS is a platform for scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. FMICS also strives to promote research and development for the improvement of formal methods and tools for industrial applications.…

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

Taschenbuch. Condición: Neu. NASA Formal Methods | 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings | Aaron Dutle (u. a.) | Taschenbuch | xvi | Englisch | 2021 | Springer | EAN 9783030763831 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Paperback. Condición: New. This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They focus on formal techniques for software and system assurancefor applications in space, aviation, robotics, and other NASA-relevant critical systems.…

Paperback. Condición: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condición: New.