Libros catálogo de títulos suscriptos
Criterios de búsqueda
Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino Vol. 4334
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
13th ed. Berlin, Heidelberg: Springer-Verlag, 2007.
Título de la serie/colección: Lecture Notes in Computer Science. ISSN 0302-9743,
ISBNs 9783540689775 9783540690610
Colección: SpringerLink
Cobertura temática
Verification Techniques for System-Level Design
Masahiro Fujita, Indradeep Ghosh and Mukul Prasad
Morgan Kaufmann, 2008.
ISBNs 9780123706164
Colección: ScienceDirect
Resumen (en inglés): This book will explain how to verify SoC (Systems on Chip) logic designs using “formal and “semiformal verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correctness of SoC designs (as in “functional verification), but many subtle design errors cannot be caught by simulation. Recently, formal verification, giving mathematical proof of the correctness of designs, has been gaining popularity.
For higher design productivity, it is essential to debug designs as early as possible, which this book facilitates. This book covers all aspects of high-level formal and semiformal verification techniques for system level designs.
• First book that covers all aspects of formal and semiformal, high-level (higher than RTL) design verification targeting SoC designs.
• Formal verification of high-level designs (RTL or higher).
• Verification techniques are discussed with associated system-level design methodology.
Cobertura temática
Verification, Model Checking, and Abstract Interpretation
6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings Vol. 3385
Radhia Cousot
13th ed. Berlin, Heidelberg: Springer-Verlag GmbH, 2005.
Título de la serie/colección: Lecture Notes in Computer Science. ISSN 0302-9743,
ISBNs 9783540242970 9783540305798
Colección: SpringerLink
Cobertura temática
Verification, Model Checking, and Abstract Interpretation
Third International Workshop, VMCAI 2002 Venice, Italy, January 21-22, 2002 Revised Papers Vol. 2294
Agostino Cortesi (ed.)
13th ed. Berlin, Heidelberg: Springer-Verlag, 2006.
Título de la serie/colección: Lecture Notes in Computer Science. ISSN 0302-9743,
ISBNs 9783540436317 9783540478133
Colección: SpringerLink
Cobertura temática
Verification, Model Checking, and Abstract Interpretation
7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings Vol. 3855
E. Allen Emerson, Kedar S. Namjoshi
13th ed. Berlin, Heidelberg: Springer-Verlag GmbH, 2006.
Título de la serie/colección: Lecture Notes in Computer Science. ISSN 0302-9743,
ISBNs 9783540311393 9783540316220
Colección: SpringerLink
Cobertura temática
Verification, Model Checking, and Abstract Interpretation
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings Vol. 4349
Byron Cook, Andreas Podelski
13th ed. Berlin, Heidelberg: Springer-Verlag, 2007.
Título de la serie/colección: Lecture Notes in Computer Science. ISSN 0302-9743,
ISBNs 9783540697350 9783540697381
Colección: SpringerLink
Cobertura temática
Verified Functional Programming in Agda
2016.
ISBNs 978-1-970001-27-3
Colección: ACM Digital Library
Cobertura temática
Verified Syntheses of Zeolitic Materials
Harry Robson and Karl Petter Lillerud
Elsevier Science, 2001.
ISBNs 9780444507037
Colección: ScienceDirect
Resumen (en inglés): Zeolite synthesis is an active field of research. As long as this continues, new phases will be discovered and new techniques for preparing existing phases will appear. This edition of Verified Synthesis of Zeolitic Materials contains all the recipes from the first edition plus 24 new recipes. Five new introductory articles have been included plus those from the first edition, some of which have been substantially revised. The XRD patterns have been recorded using different instrument settings from those in the first edition and are intended to conform to typical X-ray diffraction practice. In most cases, only the XRD pattern for the productas synthesised is printed here. The exceptions are those phases which show marked changes in the XRD pattern upon calcination.
Cobertura temática

Vers une science de la vie mentale
Stanislas Dehaene
Collège de France, 2006.
ISBNs 9782213630847 9782722601932
Colección: Directory of Open Access Books
Cobertura temática

Versatile roles of organelle outer membranes in intracellular communication
Kentaro Inoue
Frontiers Media SA, 2015.
Título de la serie/colección: Frontiers Research Topics. ISSN 1664-8714,
ISBNs 9782889196043
Colección: Directory of Open Access Books
Cobertura temática
Los iconos de las disciplinas fueron generados desde flaticon.com bajo licencia CC BY.