Eruditor.com > Mark Aagaard

Mark Aagaard

Formal Methods In Computer-Aided Design

4Th International Conference, Fmcad 2002, Portland, Or, Usa, November 6-8, 2002, Proceedings
Editor: Mark Aagaard
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2002
Paperback, 410 pages

Usually ships within 1 week.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

Theorem Proving In Higher Order Logics

13Th International Conference, Tphols 2000 Portland, Or, Usa, August 14-18, 2000 Proceedings
Editor: Mark Aagaard
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2000
Paperback, 544 pages

Usually ships within 1 week.

Will be shipped from: United Kingdom
 Add to Shopping Basket 
© 2006-2009 Eruditor Ltd and its partners

Search

Whole catalogue
Oceanography (seas)

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Share |