Book PDf: Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Download Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Author: Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

ISBN: 9783642002540

Publisher: Springer-Verlag Berlin Heidelberg

Year: 2009

Publisher Edition (Original Quality)

Save

User Rating: (0.0):

File Size

2.05 MB

Pages

376.0

Price: 6.99€

Description

Introduction to the book Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings The book Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, written by Deffieux and Descamps, is considered one of the most important works in its field. This book contains valuable and useful content that is highly suitable for those interested in this subject.

About the book Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings By drawing on the authors' experience and knowledge, this work provides readers with comprehensive and practical information.

Experience downloading the book Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings through the Cyber Uni website.

Best Selling Books
Introduction to Computers...
Introduction to Computers (Zambak)
Author:

Osman AY, Muammer...

Year:

2003

Computer Science: An...
Computer Science: An Overview. 11th Edition
Author:

J. Glenn Brookshear

Year:

2012

LINKNOT Knot Theory...
LINKNOT Knot Theory by Computer
Author:

Slavik Jablan &...

Year:

None