Decision Procedures

Autor

Daniel Kroening Ofer Strichman

Editura

Springer Verlag Berlin And Heidelberg Gmbh & Co. Kg

An publicare

2017

Nr. Pagini

356

ISBN

9783662504963

Categorii

Fictiune In Limbi Străine

Descriere

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.

Comandă Cartea

34^Lei

carturesti.ro

--^Lei

libhumanitas.ro

--^Lei

cartepedia.ro

--^Lei

librariadelfin.ro

--^Lei

books-express.ro

--^Lei

libris.ro

--^Lei

librex.ro

--^Lei

curteaveche.ro

--^Lei

litera.ro

Pe aceeași temă

Reforming UN Decision-Making Procedures

What Teachers Really Need to Know about Formative Assessment, Paperback

Laura Greenstein

What Teachers Really Need to Know about Formative Assessment

Splendid Isolation

Felix Riede

Evidence-Based Periodontal and Peri-Implant Plastic Surgery

Leandro Chambrone

Streetlights and Shadows: Searching for the Keys to Adaptive Decision Making, Paperback

Gary A. Klein