Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... Papers (Lecture Notes in Computer Science)

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... Papers (Lecture Notes in Computer Science)

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... Papers (Lecture Notes in Computer Science)

Binding:
Paperback
Number of Pages:
455
ISBN:
9783540205272
Product Group:
book
Publisher:
Springer
Publication Date:
Nov. 18, 2003
BooksForGeeks.com ID:
6350

Buy Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... Papers (Lecture Notes in Computer Science) from Amazon »

Reviews for Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... Papers (Lecture Notes in Computer Science)

  1. There are currently no reviews

    Why not be the first to post a review?

CATEGORIES

Our Network

BooksForGeeks.com is a participant in the Amazon Europe S.à r.l. Associates Programme, an affiliate advertising programme designed to provide a means for sites to earn advertising fees by advertising and linking to amazon.co.uk