Maurizio Taiuti

Formal Methods in Computer-Aided Design: First International Conference,...

Description: Formal Methods in Computer-Aided Design: First International Conference, Fmcad '96, Palo Alto, Ca, Usa, November 6 - 8, 1996, Proceedings by Srivas, Mandayam; Camilleri, Albert Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less

Price: 11.14 USD

Location: Aurora, Illinois

End Time: 2024-12-09T16:24:16.000Z

Shipping Cost: 0 USD

Product Images

Formal Methods in Computer-Aided Design: First International Conference,...

Item Specifics

Return shipping will be paid by: Seller

All returns accepted: Returns Accepted

Item must be returned within: 30 Days

Refund will be given as: Money Back

Return policy details:

Binding: Paperback

Weight: 1 lbs

Product Group: Book

IsTextBook: No

Number of Pages: X, 478 Pages

Language: English

Publication Name: Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings

Publisher: Springer Berlin / Heidelberg

Publication Year: 1996

Subject: Intelligence (Ai) & Semantics, Hardware / General, Computer Science, Electronics / Circuits / Integrated, Cad-Cam

Item Weight: 52.9 Oz

Type: Textbook

Subject Area: Computers, Technology & Engineering

Author: Albert Camilleri, Mandayam Srivas

Item Length: 9.3 in

Item Width: 6.1 in

Series: Lecture Notes in Computer Science Ser.

Format: Trade Paperback

Recommended

Teaching History, Learning Citizenship: Tools for Civic Engagement, , Nokes, Jef
Teaching History, Learning Citizenship: Tools for Civic Engagement, , Nokes, Jef

$6.99

View Details
Formal Methods in Artificial Intelligence by Ramsay, Allan M.
Formal Methods in Artificial Intelligence by Ramsay, Allan M.

$11.71

View Details
Formal Methods in Human-Computer Interaction by H. Thimbleby (1990, Hardcover)
Formal Methods in Human-Computer Interaction by H. Thimbleby (1990, Hardcover)

$25.98

View Details
Authentic Assessment Primer (Peter Lang Primer) - Paperback - GOOD
Authentic Assessment Primer (Peter Lang Primer) - Paperback - GOOD

$17.35

View Details
Formal Methods in the Real World: A Handbook for Software Engineers by Vikram De
Formal Methods in the Real World: A Handbook for Software Engineers by Vikram De

$33.67

View Details
Formal Methods for Executable Software Models: 14th (Paperback)
Formal Methods for Executable Software Models: 14th (Paperback)

$44.33

View Details
The Formal Method in Literary Scholarship : A Critical Introducti
The Formal Method in Literary Scholarship : A Critical Introducti

$7.61

View Details
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the F 5161
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the F 5161

$43.20

View Details
Statistical Inference by George Casella Hardcover Book
Statistical Inference by George Casella Hardcover Book

$96.45

View Details
Applications Of Formal Methods by Bowen, Hinchey (Hardcover, 1995)
Applications Of Formal Methods by Bowen, Hinchey (Hardcover, 1995)

$5.16

View Details