25 Years of Model Checking by Orna Grumberg, Helmut Veith | Klarna Sverige

25 Years of Model Checking by Orna Grumberg, Helmut Veith

Kategori

Paperback softback

Butik

Bokus

Varumärke

Orna Grumberg Helmut Veith

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware an...

400 SEK

Rekommendationer

Bokus

Persian by David McCloskey

189 SEK

Bokus

Haunted Utah by Andy Weeks

137 SEK

Bokus

Contemplations on the Sermon on the Mount by H H Pope Shenouda III, H H Pope Shenouda III, H H Pope Shenouda III, H H Pope Shenouda Iii

115 SEK

Bokus

Essentials of Nonverbal Assessment by Steve McCallum, Bruce Bracken, John Wasserman, McCallum, Bracken

610 SEK

Bokus

Last Planner System - Application and Implementation by Porwal Vishal, Vishal Porwal

700 SEK

Bokus

Amazing Animal Adaptations Ocean Animal Adaptations by Julie Murphy

183 SEK

Bokus

Field Techniques in Glaciology and Glacial Geomorphology by Bryn Hubbard, Neil F Glasser, Bryn Hubbard, Neil F Glasser, Neil F Glasser

738 SEK

Bokus

Money for Everyone by Malcolm Torry, Malcolm Torry

406 SEK

Bokus

Classroom-Ready Number Talks for Third, Fourth and Fifth Grade Teachers by Nancy Hughes

216 SEK

Bokus

Stays and Corsets by Mandy Barrington, Mandy Barrington

641 SEK

Bokus

Sludge by Cass R Sunstein

213 SEK

Choose your language and region

Klarna is available around the world with a variable offering, choose one that suits you best.

Copyright © 2005-2024 Klarna Bank AB (publ). Headquarters: Stockholm, Sweden. All rights reserved. Klarna Bank AB (publ). Sveavägen 46, 111 34 Stockholm. Organization number: 556737-0431