Sırada hangi kitap var?

Kitap adına ya da yazara göre ara. Kapaklar ve konular Open Library ile Google Books’tan gelir; beğendiğin kitaplar Sana Özel’i besler.

Ruh hâline göre kitap keşfet

Kitap adıYazar

705 kayıttan ilk 24 tanesi

Software Engineering
Roger S. Pressman, Bruce Maxim1982
Systems and Software Verification
Béatrice Bérard2001
Embedded Software Verification and Debugging
Djones Lettnin, Markus Winterholer2016
IEEE Standard for software verification and validation
IEEE Computer Society. Software Engineering Standards Committee1986
Software Verification
Gerardus Blokdyk2018
Challenges of Software Verification
Vincenzo Arceri, Agostino Cortesi2023
Software Verification and Validation
Fujii2009
Software Verification and Analysis
Janusz Laski, William Deane Stanley2009
Software Engineering
Shari Lawrence Pfleeger, Joanne M Atlee1987
Deductive Software Verification - the KeY Book
Wolfgang Ahrendt, Bernhard Beckert2016
Concise Guide to Software Verification
Marieke Huisman, Anton Wijs2023
Reference information for the software verification and validation process
Dolores R. Wallace1996
Software verification and validation
Michael S. Deutsch1982
Software verification and validation
Steven R. Rakitin1997
String Analysis for Software Verification and Security
Tevfik Bultan, Fang Yu2018
Software Verification and Validation
Jacob Mason2017
Software Verification and Validation
Jesus Jean2017
Automated interactive software verification and synthesis
Roger Brett Hughes1992
Software Verification and Validation
Gerard Blokdyk2017
Guide to Software Verification with Frama-C
Nikolai Kosmatov, Virgile Prevosto2024
Software Verification and Validation
Marcus S. Fisher2006
IEEE Standard for software verification and validation plans
1986
Systems and Software Verification
B. Berard, M. Bidoit2014
Software Verification and Validation
Marcus S. S. Fisher2010

Google Books bu arama için şu an sonuç döndürmediği için sonuçlar Open Library’den geldi.