Last edited by Fezuru
Friday, May 22, 2020 | History

2 edition of Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies found in the catalog.

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

by Tiziana Margaria-Steffen

  • 260 Want to read
  • 29 Currently reading

Published by Springer Berlin Heidelberg, Imprint: Springer in Berlin, Heidelberg .
Written in English

    Subjects:
  • Software engineering,
  • Artificial intelligence,
  • Logic design,
  • Logics and Meanings of Programs,
  • Computation by Abstract Devices,
  • Computer science,
  • Programming Languages, Compilers, Interpreters,
  • Operating systems (Computers),
  • Operating Systems,
  • Artificial Intelligence (incl. Robotics)

  • Edition Notes

    Statementedited by Tiziana Margaria, Bernhard Steffen
    SeriesLecture Notes in Computer Science -- 7610
    ContributionsSteffen, Bernhard, SpringerLink (Online service)
    Classifications
    LC ClassificationsQA76.758
    The Physical Object
    Format[electronic resource] :
    ID Numbers
    Open LibraryOL27071030M
    ISBN 109783642340321


Share this book
You might also like
Blood orange

Blood orange

The Chinese : how they live and work

The Chinese : how they live and work

A commentary on Herodotus

A commentary on Herodotus

Joanne Tod, painting

Joanne Tod, painting

Analysis of Vapor-Aluminum-Diffused Stainless Steels.

Analysis of Vapor-Aluminum-Diffused Stainless Steels.

Barry Fahr, Tom Jenkins, Paul Ré

Barry Fahr, Tom Jenkins, Paul Ré

The sexercise book

The sexercise book

Magnetism and the cosmos

Magnetism and the cosmos

MobiHoc 2005

MobiHoc 2005

Proceedings of the 1998 Brake Colloquium.

Proceedings of the 1998 Brake Colloquium.

A boke of pres[i?]dentes

A boke of pres[i?]dentes

Report of the British Association for the Advancement of Science

Report of the British Association for the Advancement of Science

Rules of the British Steel Smelters, Mill, Iron, & Tinplate Workers

Rules of the British Steel Smelters, Mill, Iron, & Tinplate Workers

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies by Tiziana Margaria-Steffen Download PDF EPUB FB2