Formal methods at the crossroads

View on Open Library

Formal methods at the crossroads

by Bernhard K. Aichernig , Tom Maibaum

No reviews yet

First published: 2003 1 language ISBN: 3540205276

Subjects

Congresses Software engineering

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Bernhard K. Aichernig

Tests and Proofs

Tests and Proofs

Formal methods at the crossroads

Formal methods at the crossroads

Formal Methods For Components And Objects 9th International Symposium Fmco 2010 Graz Austria November 29 December 1 2010

Formal Methods For Components And Object...

You Might Also Like

More in Congresses

Manifest der Kommunistischen Partei

Manifest der Kommunistischen Partei

Karl Marx

Nicomachean Ethics

Nicomachean Ethics

Aristotle

Lord Jim

Joseph Conrad

[William Wheeler Hubbell, authorized to apply for patents.]

[William Wheeler Hubbell, authorized to ...

United States. Congress. Senate. Committee on Patents

Compleat angler

Compleat angler

Izaak Walton

The national union catalog

The national union catalog

Library of Congress