Ata uhi

Concise Guide to Software Verification From Model Checking to Annotation Checking /

Ever since the beginnings of the development of software, researchers have been thinking about how to guarantee its correctness. Formal methods are techniques that can be used to improve software reliability and robustness. This concise volume overviews the whole spectrum of formal methods and techn...

Whakaahuatanga katoa

I tiakina i:

Ngā taipitopito rārangi puna kōrero
Ngā kaituhi matua:	Huisman, Marieke (Author), Wijs, Anton (Author)
Kaituhi rangatōpū:	SpringerLink (Online service)
Hōputu:	Tāhiko īPukapuka
Reo:	Ingarihi
I whakaputaina:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Putanga:	1st ed. 2023.
Rangatū:	Texts in Computer Science,
Ngā marau:	Computer programs > Testing. Software engineering. Number theory. Software Testing. Software Engineering. Computational Number Theory.
Urunga tuihono:	https://doi.org/10.1007/978-3-031-30167-4
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

Ngā tūemi rite

Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings /
I whakaputaina: (2025)

ISTQB® Certified Tester Foundation Level A Self-Study Guide Syllabus v4.0 /
mā: Stapp, Lucjan, me ētahi atu.
I whakaputaina: (2024)

Guide to Software Verification with Frama-C Core Components, Usages, and Applications /
I whakaputaina: (2024)

Balancing Software Innovation and Regulatory Compliance 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20–22, 2025, Proceedings /
I whakaputaina: (2025)

Software Quality Engineering Testing Quality Assurance and Quantifiable Improvement
mā: Tian, Jeff
I whakaputaina: (2005)

The French School of Programming
I whakaputaina: (2024)

Software Quality Engineering: Testing, Quality Assurance, and Quantifiable Improvement
mā: Tian
I whakaputaina: (2005)

Cloud-Native Application Architecture Microservice Development Best Practice /
mā: Team, FreeWheel Biz-UI
I whakaputaina: (2024)

Continued Fractions A Modern and Classical Journey into the World of Siegel's Continued Fractions /
mā: Elsner, Carsten, me ētahi atu.
I whakaputaina: (2025)

Software Engineering
mā: Sommerville
I whakaputaina: (2001)

CyberSecurity in a DevOps Environment From Requirements to Monitoring /
I whakaputaina: (2024)

From Classical L-Functions to Modern Reciprocity Laws
mā: Sorensen, Claus
I whakaputaina: (2025)

Number Theory in Memory of Eduard Wirsing
I whakaputaina: (2023)

The Lucas Sequences Theory and Applications /
mā: Ballot, Christian J.-C, me ētahi atu.
I whakaputaina: (2023)

Class Groups of Number Fields and Related Topics ICCGNERT 2021 and 2022, Kozhikode, India, October 21–24, 2021 and November 21–24, 2022 /
I whakaputaina: (2024)

Number Theory with Computations
mā: Shiu, Peter
I whakaputaina: (2024)

Polynomial Diophantine Equations A Systematic Approach /
mā: Grechuk, Bogdan
I whakaputaina: (2024)

Diophantine m-tuples and Elliptic Curves
mā: Dujella, Andrej
I whakaputaina: (2024)

New Frontiers in Number Theory and Applications
I whakaputaina: (2024)

Modular Relations and Parity in Number Theory
mā: Chakraborty, Kalyan, me ētahi atu.
I whakaputaina: (2025)

Perfect Powers—An Ode to Erdős
mā: Natarajan, Saradha
I whakaputaina: (2025)

Selection Tests in Number Theory for Mathematical Olympiads
mā: Mănescu-Avram, Corneliu
I whakaputaina: (2024)

L-Functions An Elementary Introduction /
mā: Lombardo, Davide
I whakaputaina: (2025)

Development and Testing of Vehicle Software and its Influence on Sustainable Transport
I whakaputaina: (2024)

C Under DOS Test
mā: Mali
I whakaputaina: (1998)

C Under DOS Test
mā: Mali
I whakaputaina: (1998)

A Concise Introduction to Software Engineering With Open Source and GenAI /
mā: Jalote, Pankaj
I whakaputaina: (2025)

Low Dimensional Topology and Number Theory Fukuoka, Japan, March 15–18, 2022. In Memory of Professor Toshie Takata /
I whakaputaina: (2025)

Abstract Algebra via Numbers
mā: Tuset, Lars
I whakaputaina: (2025)

Elementary Number Theory
mā: Burton, David M.
I whakaputaina: (2007)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III /
I whakaputaina: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II /
I whakaputaina: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I /
I whakaputaina: (2025)

Number-Theoretic Methods in Cryptology 4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24–26, 2024, Revised Selected Papers /
I whakaputaina: (2025)

Managing Software Supply Chains Theory and Practice /
mā: Wang, Ying, me ētahi atu.
I whakaputaina: (2025)

Knots and Primes An Introduction to Arithmetic Topology /
mā: Morishita, Masanori
I whakaputaina: (2024)

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday /
I whakaputaina: (2025)

Learning Java A Test-Driven Approach /
mā: Crotts, Joshua
I whakaputaina: (2024)

Elementary number theory
mā: Burton, David M.
I whakaputaina: (2011)

An Introduction to the Theory of Numbers
mā: Niven, Ivan
I whakaputaina: (1991)