Eppendorf

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

Leveraging Applications Of Formal Methods, Verification And Validation: App...
Leveraging Applications Of Formal Methods, Verification And Validation: App...

$59.58

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
Leveraging Applications of Formal Methods, Verification and Validation  Dis...
Leveraging Applications of Formal Methods, Verification and Validation Dis...

$58.05

View Details
Formal Methods Human-Computer Interaction Michael Harri… Paperback 9780521448673
Formal Methods Human-Computer Interaction Michael Harri… Paperback 9780521448673

$15.75

View Details
Formal Methods for Performance Evaluation: 7th International School on Formal Me
Formal Methods for Performance Evaluation: 7th International School on Formal Me

$11.00

View Details
The Art of Freedom: Teaching the Humanities to the Poor by Shorris, Earl
The Art of Freedom: Teaching the Humanities to the Poor by Shorris, Earl

$4.88

View Details
Leveraging Applications Of Formal Methods, Verification And Validation: 5Th...
Leveraging Applications Of Formal Methods, Verification And Validation: 5Th...

$58.94

View Details
Adult Learning Methods: A Guide for Effective Instruction, 3rd Ed. - VERY GOOD
Adult Learning Methods: A Guide for Effective Instruction, 3rd Ed. - VERY GOOD

$5.08

View Details
Teaching and Learning Formal Methods by C. Neville Dean (1996, Hardcover)
Teaching and Learning Formal Methods by C. Neville Dean (1996, Hardcover)

$19.95

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

$13.50

View Details