Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II - Lecture Notes in Computer Science

Paperback (27 Oct 2024)

Save $9.29

  • RRP $76.95
  • $67.66
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Check stock

    Publisher's Synopsis

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. 

    ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

     

    Book information

    ISBN: 9783031751066
    Publisher: Springer Nature Switzerland
    Imprint: Springer
    Pub date:
    Language: English
    Number of pages: 370
    Weight: 535g
    Height: 235mm
    Width: 155mm
    Spine width: 20mm

    We recommend

    $13.81off

    The Art of Agile Development

    James Shore, Diana L...

    Paperback
    Published 26 Oct 2021

    Save $13.81

    • RRP $67.97
    • $54.16
    Add to basket

    $3.50off

    Data Analysis With Python and Pyspark

    Jonathan Rioux

    Paperback
    Published 16 Mar 2022

    Save $3.50

    • RRP $58.22
    • $54.72
    Add to basket

    $6.89off

    The Pragmatic Programmer

    Andrew Hunt, David T...

    Hardback
    Published 02 Dec 2019

    Save $6.89

    • RRP $51.30
    • $44.41
    Add to basket

    $9.66off

    The Programmer's Brain

    Felienne Hermans

    Paperback
    Published 15 Dec 2021

    Save $9.66

    • RRP $51.30
    • $41.64
    Add to basket

    $9.46off

    Clean Code

    Robert C. Martin

    Paperback
    Published 21 Aug 2008

    Save $9.46

    • RRP $55.14
    • $45.68
    Add to basket

    $3.88off

    Clean Architecture

    Robert C. Martin

    Paperback
    Published 20 Sep 2017

    Save $3.88

    • RRP $38.47
    • $34.59
    Add to basket

    $14.93off

    Clean Code Cookbook

    Maximiliano Contieri

    Paperback
    Published 29 Sep 2023

    Save $14.93

    • RRP $67.97
    • $53.04
    Add to basket

    $7.43off

    Embedded Software System Testing

    Yongfeng Yin (author...

    Hardback
    Published 06 Sep 2023

    Save $7.43

    • RRP $100.04
    • $92.61
    Add to basket

    $3.94off

    Raspberry Pi OS System Administration With Systemd

    Robert Koretsky

    Paperback
    Published 22 Nov 2023

    Save $3.94

    • RRP $57.71
    • $53.77
    Add to basket