Wyniki wyszukiwania:
wyszukanych pozycji: 8
 |
Automata and Computability: A Programmer's Perspective
ISBN: 9780367656546 / Angielski / Miękka / 2020 / 328 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
209,82 zł |
 |
Automata and Computability: A Programmer's Perspective
ISBN: 9781138552425 / Angielski / Twarda / 2019 / 328 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
435,44 zł |
 |
Computation Engineering: Applied Automata Theory and Logic
ISBN: 9781441937414 / Angielski / Miękka / 2010 / 472 str. Termin realizacji zamówienia: ok. 20 dni roboczych. It takes more e?ort to verify that digital system designs are correct than it does to design them, and as systems get more complex the proportion of cost spent on veri?cation is increasing (one estimate is that veri?cation complexity rises as the square of design complexity). Although this veri?cation crisis was predicted decades ago, it is only recently that powerful methods based on mathematical logic and automata theory have come to the designers rescue. The ?rst such method was equivalence checking, which automates Boolean algebra calculations.Nextcamemodelchecking, whichcanautomatically...
It takes more e?ort to verify that digital system designs are correct than it does to design them, and as systems get more complex the proportion of c...
|
cena:
359,45 zł |
 |
Computation Engineering: Applied Automata Theory and Logic
ISBN: 9780387244181 / Angielski / Twarda / 2006 / 472 str. Termin realizacji zamówienia: ok. 20 dni roboczych. It takes more e?ort to verify that digital system designs are correct than it does to design them, and as systems get more complex the proportion of cost spent on veri?cation is increasing (one estimate is that veri?cation complexity rises as the square of design complexity). Although this veri?cation crisis was predicted decades ago, it is only recently that powerful methods based on mathematical logic and automata theory have come to the designers rescue. The ?rst such method was equivalence checking, which automates Boolean algebra calculations.Nextcamemodelchecking, whichcanautomatically...
It takes more e?ort to verify that digital system designs are correct than it does to design them, and as systems get more complex the proportion of c...
|
cena:
359,45 zł |
 |
|
cena:
143,60 zł |
 |
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
ISBN: 9783642221095 / Angielski / Miękka / 2011 / 763 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011. The 35 revised full papers presented together with 20 tool papers were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on the following workshops: 4th International Workshop on Numerical Software Verification (NSV 2011), 10th International Workshop on Parallel and Distributed Methods in Verifications (PDMC 2011), 4th International Workshop on Exploiting Concurrency... This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT,... |
cena:
195,42 zł |
 |
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
ISBN: 9783540651918 / Angielski / Miękka / 1998 / 538 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume constitutes the refereed proceedings of the Second International Conference on Formal Methods in Computer Aided Design, FMCAD '98, held in Palo Alto, California, USA, in November 1998. The 27 revised full papers presented were carefully reviewed and selected from a total of 55 submissions. Also included are four tools papers and four invited contributions. The papers present the state-of-the-art in formal verification methods for digital circuits and systems, including processors, custom VLSI circuits, microcode, and reactive software. From the methodological point of view, binary...
This volume constitutes the refereed proceedings of the Second International Conference on Formal Methods in Computer Aided Design, FMCAD '98, held in...
|
cena:
195,42 zł |
 |
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
ISBN: 9783540230175 / Angielski / Miękka / 2004 / 340 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume constitutes the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14-17, 2004 in Park City, Utah, USA. TPHOLs covers all aspects of theorem proving in higher-order logics as well as related topics in theorem proving and veri?cation. There were 42 papers submitted to TPHOLs 2004 in the full research ca- gory, each of which was refereed by at least 3 reviewers selected by the program committee. Of these submissions, 21 were accepted for presentation at the c- ference and publication in this volume. In keeping with...
This volume constitutes the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14...
|
cena:
195,42 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
