Magers & Quinn Booksellers

Cancel

Filters

Selected

Steffen, Bernhard

Condition

New

Used

Collectible

Availability

On Our Shelves

Ships from Warehouse

Format

Hardcover

Paperback

Audio Book

Languages

English

Spanish

Italian

French

Swedish

German

Norwegian

Danish

Finnish

Latin

Price

Back

Steffen, Bernhard

Filters

Sort by

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, Isola 2018, Limassol, Cyprus, Novem

Margaria, Tiziana

Steffen, Bernhard

Paperback

$54.99

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, Isola 2022, Rhodes, Greece

Margaria, Tiziana

Steffen, Bernhard

Paperback

$79.99

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, Isola 2022, Rhodes, Greece, October 22

Margaria, Tiziana

Steffen, Bernhard

Paperback

$69.99

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, Isola 2024,

Margaria, Tiziana

Steffen, Bernhard

Paperback

$74.99

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos

Margaria, Tiziana

Steffen, Bernhard

Paperback

$74.99

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, Isola 2024, Cret

Margaria, Tiziana

Steffen, Bernhard

Paperback

$79.99

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc

Margaria, Tiziana

Steffen, Bernhard

Paperback

$54.99

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo

Margaria, Tiziana

Steffen, Bernhard

Paperback

$54.99

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004, Revised Selected Pa

Maragria, Tiziana

Steffen, Bernhard

Paperback

$54.99

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application

Margaria, Tiziana

Steffen, Bernhard

Paperback

$99.99

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus

Margaria, Tiziana

Steffen, Bernhard

Paperback

$54.99

Formal Methods for Industrial Critical Systems: 30th International Conference, Fmics 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings

Remke, Anne

Steffen, Bernhard

Paperback

$64.99

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, Isola 2008, Porto Sani, Greece, October 13-15,

Steffen, Bernhard

Margaria, Tiziana

Paperback

$169.99

Computing and Software Science: State of the Art and Perspectives

Steffen, Bernhard

Woeginger, Gerhard

Paperback

$32.99

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications

Margaria, Tiziana

Steffen, Bernhard

Paperback

$54.99

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus

Margaria, Tiziana

Steffen, Bernhard

Paperback

$54.99

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, Iso

Margaria, Tiziana

Steffen, Bernhard

Paperback

$79.99

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-

Margaria, Tiziana

Steffen, Bernhard

Paperback

$54.99

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-

Margaria, Tiziana

Steffen, Bernhard

Paperback

$54.99

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Im

Margaria, Tiziana

Steffen, Bernhard

Paperback

$54.99

Filters

Selected

Category

Condition

Availability

Format

Languages

Price

Steffen, Bernhard

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, Isola 2018, Limassol, Cyprus, Novem

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, Isola 2022, Rhodes, Greece

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, Isola 2022, Rhodes, Greece, October 22

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, Isola 2024,

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, Isola 2024, Cret

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004, Revised Selected Pa

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus

Formal Methods for Industrial Critical Systems: 30th International Conference, Fmics 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, Isola 2008, Porto Sani, Greece, October 13-15,

Computing and Software Science: State of the Art and Perspectives

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, Iso

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Im

Loading

You have reached the end of the list.
Return to the top.

Filters

Selected

Category

Condition

Availability

Format

Languages

Price

Steffen, Bernhard

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, Isola 2018, Limassol, Cyprus, Novem

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, Isola 2022, Rhodes, Greece

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, Isola 2022, Rhodes, Greece, October 22

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, Isola 2024,

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, Isola 2024, Cret

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004, Revised Selected Pa

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus

Formal Methods for Industrial Critical Systems: 30th International Conference, Fmics 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, Isola 2008, Porto Sani, Greece, October 13-15,

Computing and Software Science: State of the Art and Perspectives

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, Iso

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Im

Loading

You have reached the end of the list. Return to the top.

You have reached the end of the list.
Return to the top.