Formal methods at the crossroads

by Bernhard K. Aichernig , Tom Maibaum

No reviews yet
First published: 2003 1 language ISBN: 3540205276

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!


More by Bernhard K. Aichernig


You Might Also Like

More in Congresses
Lord Jim

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