Verification – alle Bücher, LPs und CDs

Samuel Andreyev: Kantate für Sopran & 10 Instrumente "In Glow of Like Seclusion", CD

Samuel Andreyev (geb. 1981)

Kantate für Sopran & 10 Instrumente "In Glow of Like Seclusion"

Peyee Chen, ensemble proton bern, Luigi Gaggero

umgehend lieferbar, Bestand beim Lieferanten vorhanden

CD

EUR 17,99*

Khaled Salah Mohamed
Heterogeneous SoC Design and Verification

Synthesis Lectures on Digital Circuits & Systems

This book covers the foundations of hardware/software codesign, on-chip communication, debugging, and verification, for heterogenous SoCs. Its primary objective is to empower designers in making informed …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 53,32*

Runtime Verification

Lecture Notes in Computer Science -Band 15191

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024. The 11 full papers, 5 short pap…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 60,23*

Samuel Andreyev: Kantate für Sopran & 10 Instrumente "In Glow of Like Seclusion" (180g), LP,LP

Samuel Andreyev (geb. 1981)

Kantate für Sopran & 10 Instrumente "In Glow of Like Seclusion" (180g)

Peyee Chen, ensemble proton bern, Luigi Gaggero

umgehend lieferbar, Bestand beim Lieferanten vorhanden

2 LPs

EUR 56,99*

AI Verification

Lecture Notes in Computer Science -Band 14846

This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024. The scope of the topics was broadly categorized…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 131,42*

Computer Aided Verification

Lecture Notes in Computer Science -Band 14683

This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024.The primary f…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80*

Computer Aided Verification

Lecture Notes in Computer Science -Band 14682

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80*

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Lecture Notes in Computer Science -Band 15221

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04*

Computer Aided Verification

Lecture Notes in Computer Science -Band 14681

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80*

Chris Köcher
Verification of Automata with Storage Mechanisms

An important question in computer science is to ask, whether a given system conforms to a specification. Often this question is equivalent to ask whether a finite automaton with certain memory like a stac…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 18,00*

Anton Wijs, Marieke Huisman
Concise Guide to Software Verification

Texts in Computer Science

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99*

Alireza Mahzoon, Rolf Drechsler, Daniel Große
Formal Verification of Structurally Complex Multipliers

This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebr…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 98,56*

Guide to Software Verification with Frama-C

Computer Science Foundations and Applied Logic

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiqui…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 69,33*

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science -Band 14499

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science -Band 14500

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

William L Oberkampf, Christopher J Roy
Verification, Validation, and Uncertainty Quantification in Scientific Computing

"This updated edition provides a framework for assessing the reliability and uncertainty of modeling and simulation results used in industry and government. With extra worked examples and homework problem…

Erscheint bald

Buch

Verification and Evaluation of Computer and Communication Systems

Lecture Notes in Computer Science -Band 14368

This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during Oct…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75*

Principles of Verification: Cycling the Probabilistic Landscape

Lecture Notes in Computer Science -Band 15261

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the Uni…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Principles of Verification: Cycling the Probabilistic Landscape

Lecture Notes in Computer Science -Band 15260

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the Uni…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04*

Tools for Design, Implementation and Verification of Emerging Information Technologies

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering -Band 523

This book constitutes the refereed post-conference proceedings of the 18th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TridentCo…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 65,71*

Verification – alle Bücher, LPs und CDs

Ihre Suche nach "verification" ergab 135 Treffer