Verified Software. Theories, Tools and Experiments 1
bokomslag Verified Software. Theories, Tools and Experiments
Data & IT

Verified Software. Theories, Tools and Experiments

Andrew Reynolds • Serdar Tasiran

Pocket

879:-

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

Uppskattad leveranstid 10-16 arbetsdagar

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

  • 109 sidor
  • 2024
This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 2324, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.
  • Författare: Andrew Reynolds, Serdar Tasiran
  • Format: Pocket/Paperback
  • ISBN: 9783031660634
  • Språk: Engelska
  • Antal sidor: 109
  • Utgivningsdatum: 2024-07-27
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag Runtime Verification

    Runtime Verification

    Serdar Tasiran Shaz Qadeer

    Pocket

    769:-
  2. bokomslag Computer Aided Verification

    Computer Aided Verification

    Serdar Tasiran Isil Dillig

    Pocket

    769:-
  3. bokomslag Computer Aided Verification

    Computer Aided Verification

    Serdar Tasiran Isil Dillig

    Pocket

    769:-
  4. bokomslag Runtime Verification

    Runtime Verification

    Serdar Tasiran Oleg Sokolsky

    Pocket

    769:-
  5. bokomslag Software Verification

    Software Verification

    Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel

    Pocket

    769:-
  6. bokomslag EU Crisis and the Role of the Periphery

    EU Crisis and the Role of the Periphery

    Anastasios Karasavvoglou, Serdar Ongan, Persefoni Polychronidou

    Pocket

    769:-
  7. bokomslag Peirce's Scientific Metaphysics

    Peirce's Scientific Metaphysics

    Andrew Reynolds

    Inbunden

    1799:-
  8. bokomslag Bagimlilik - Sanal veya Gercek Bagimlilikla Basa Cikma

    Bagimlilik - Sanal veya Gercek Bagiml...

    Serdar Nurmedov Nevzat Tarhan

    Pocket

    299:-
  9. bokomslag Prsence de la Chine Au Nigeria

    Prsence de la Chine Au Nigeria

    Serdar Yurtsever Sophia Zemyen Mainasara

    Pocket

    1049:-
  10. bokomslag Presena Da China Na Nigria

    Presena Da China Na Nigria

    Serdar Yurtsever Sophia Zemyen Mainasara

    Pocket

    1049:-

Andra av samma författare

  1. bokomslag The Children of Harvey Milk

    The Children of Harvey Milk

    Andrew Reynolds

    Pocket

    259:-
  2. bokomslag The Children of Harvey Milk

    The Children of Harvey Milk

    Andrew Reynolds

    Inbunden

    1169:-
  3. bokomslag Electoral Systems and Democratization in Southern Africa

    Electoral Systems and Democratization...

    Andrew Reynolds

    Inbunden

    4199:-
  4. bokomslag Anglo-Saxon Deviant Burial Customs

    Anglo-Saxon Deviant Burial Customs

    Andrew Reynolds

    Pocket

    959:-
  5. bokomslag The Architecture of Democracy

    The Architecture of Democracy

    Andrew Reynolds

    Inbunden

    3279:-
  6. bokomslag The Architecture of Democracy

    The Architecture of Democracy

    ANDREW REYNOLDS

    Pocket

    1519:-
  7. bokomslag Anglo-Saxon Deviant Burial Customs

    Anglo-Saxon Deviant Burial Customs

    Andrew Reynolds

    Inbunden

    3649:-
  8. bokomslag Designing Democracy in a Dangerous World

    Designing Democracy in a Dangerous World

    Andrew Reynolds

    Pocket

    809:-
  9. bokomslag Reflections: 50 Years of Medieval Archaeology, 1957-2007: No. 30

    Reflections: 50 Years of Medieval Arc...

    Andrew Reynolds Roberta Gilchrist

    Pocket

    829:-
  10. bokomslag Life and Landscape in Later Anglo-Saxon England

    Life and Landscape in Later Anglo-Sax...

    Andrew Reynolds

    Inbunden

    309:-