Rigorous State-Based Methods 1
bokomslag Rigorous State-Based Methods
Data & IT

Rigorous State-Based Methods

Silvia Bonfanti • Angelo Gargantini • Michael Leuschel • Elvinia Riccobene • Patrizia Scandurra

Pocket

1149:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 398 sidor
  • 2024
This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 2528, 2024. The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.
  • Författare: Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra
  • Format: Pocket/Paperback
  • ISBN: 9783031637896
  • Språk: Engelska
  • Antal sidor: 398
  • Utgivningsdatum: 2024-06-21
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag Numerical methods for atomic quantum gases

    Numerical methods for atomic quantum ...

    Anna Minguzzi, Sauro Succi, Federico Toschi, Mario Tosi, Patrizia Vignolo

    Pocket

    329:-
  2. bokomslag The Correspondence of Sigmund Freud and Sndor Ferenczi: Volume 1 1908-1914

    The Correspondence of Sigmund Freud a...

    Sigmund Freud, Sndor Ferenczi, Eva Brabant, Ernst Falzeder, Patrizia Giampieri-Deutsch

    Inbunden

    1429:-
  3. bokomslag Des les En Archipel...

    Des les En Archipel...

    Luca Badini Confalonieri, Daniela Dalla Valle, Carmelina Imbroscio, Nadia Minerva, Patrizia Oppici

    Pocket

    1819:-
  4. bokomslag Rigorous State-Based Methods

    Rigorous State-Based Methods

    Uwe Glsser, Jose Creissac Campos, Dominique Mry, Philippe Palanque

    Pocket

    1099:-
  5. bokomslag Rigorous State-Based Methods

    Rigorous State-Based Methods

    Alexander Raschke, Dominique Mry, Frank Houdek

    Pocket

    759:-
  6. bokomslag Rigorous State-Based Methods

    Rigorous State-Based Methods

    Dominique Mry Alexander Raschke

    Pocket

    909:-
  7. bokomslag Manufactured homes: state-based replacement programs may provide benefits, but energy savings do not fully offset costs: report to congres

    Manufactured homes: state-based repla...

    U S Government Accountability Office

    Häftad

    239:-
  8. bokomslag Pesticide-Related Illness and Injury Surveillance: A How-To Guide for State-Based Programs

    Pesticide-Related Illness and Injury ...

    Centers For Disease Cont And Prevention, National Institute Fo Safety And Health, D Human Services

    Häftad

    399:-
  9. bokomslag To Amend the Public Health Service ACT to Ensure That Affordable, Comprehensive, High Quality Health Care Coverage Is Available Through the Establishment of State-Based Programs for Children and for

    To Amend the Public Health Service AC...

    United States Congress Senate

    Pocket

    469:-
  10. bokomslag Testing Software and Systems

    Testing Software and Systems

    Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi

    Pocket

    959:-

Andra av samma författare

  1. bokomslag Logic, Computation and Rigorous Methods

    Logic, Computation and Rigorous Methods

    Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe

    Pocket

    759:-
  2. bokomslag Software Architecture

    Software Architecture

    Patrizia Scandurra, Matthias Galster, Raffaela Mirandola, Danny Weyns

    Pocket

    759:-
  3. bokomslag Software Architecture

    Software Architecture

    Bedir Tekinerdogan, Catia Trubiani, Chouki Tibermacine, Patrizia Scandurra, Carlos E Cuesta

    Pocket

    969:-
  4. bokomslag Testing Software and Systems

    Testing Software and Systems

    Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi

    Pocket

    959:-
  5. bokomslag Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium

    Software Architecture. ECSA 2023 Trac...

    Bedir Tekinerdoan, Romina Spalazzese, Hasan Szer, Silvia Bonfanti, Danny Weyns

    Pocket

    1289:-
  6. bokomslag Software Architecture

    Software Architecture

    Matthias Galster, Patrizia Scandurra, Tommi Mikkonen, Pablo Oliveira Antonino, Elisa Yumi Nakagawa

    Pocket

    1149:-
  7. bokomslag Abstract State Machines 2003: Advances in Theory and Practice

    Abstract State Machines 2003: Advance...

    Egon Brger, Angelo Gargantini, Elvinia Riccobene

    Pocket

    759:-
  8. bokomslag Integrated Formal Methods

    Integrated Formal Methods

    Heike Wehrheim Michael Leuschel

    Pocket

    759:-
  9. bokomslag Tests and Proofs

    Tests and Proofs

    Angelo Gargantini Gordon Fraser

    Pocket

    759:-
  10. bokomslag Formal Methods for Components and Objects

    Formal Methods for Components and Obj...

    Frank S De Boer, Marcello M Bonsangue, Stefan Hallerstede, Michael Leuschel

    Pocket

    759:-