Frohe Weihnachten und wunderbare Buchmomente!

Bookbot
Das Buch ist derzeit nicht auf Lager

The Calculus of Computation

Decision Procedures with Applications to Verification

Autoren

384 Seiten

Mehr zum Buch

Focusing on computational logic, the textbook covers foundational concepts of first-order logic and advances to modern decision procedures for arithmetic and data structures. It emphasizes a logical methodology for developing correct software, making it a valuable resource for understanding both theoretical and practical aspects of computational logic in engineering.

Parameter

ISBN
9783642093470

Kategorien

Buchvariante

2010, paperback

Buchkauf

Wir benachrichtigen dich per E-Mail.