Sortierung ändern: Popularität Titel Veröffentlichung Preis
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_sabk36nyxqvvw435dz2w6ldsdktofi.jpg) |
Software Verification and Validation: A
|
EDV / Informatik |
112.00 |
|
Buch |
Sprache:
Englisch / Autor: Steven R Rakitin / Einband: Gebunden |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_st9b6z0l3adzvd0qsfsmlv8htw452okmg.jpg) |
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece
|
EDV / Informatik |
96.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_ox8jn3optotu2ekys90oqgo7tg5lfhwbs.jpg) |
Software Verification and Validation: An Engineering and Scientific Approach
|
EDV / Informatik |
147.00 |
|
Buch |
Sprache:
Englisch / Autor: Marcus S. Fisher / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_hn4kvlbefwl4sko06ppt85sk54q8zfv.jpg) |
Independent Verification and Validation: A Life Cycle Engineering Process for Quality Software
|
EDV / Informatik |
220.00 |
|
Buch |
Sprache:
Englisch / Autor: Robert O Lewis / Einband: Gebunden |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_gef4cqlbzanclu5ey8uzcz6pdknp6uv.jpg) |
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, C
|
EDV / Informatik |
134.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_7bo40kb579nc9eksgft5evzep4xt0n.jpg) |
Software Verification and Validation: An Engineering and Scientific Approach
|
EDV / Informatik |
157.00 |
|
Buch |
Sprache:
Englisch / Autor: Marcus S. Fisher / Einband: Gebunden |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_3u6uhkl60p95lrsm4ixa862oqt4yux.jpg) |
Verification and Validation for Quality of UML 2.0 Models
|
Naturwissensch., Medizin, Technik |
180.00 |
|
Buch |
Sprache:
Englisch / Autor: Unhelkar Bhuvan / Einband: Gebunden |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_d4baymb8ju3rk3b752l2o9ws1v9hwp.jpg) |
Software Verification and Validation for Practitioners and Managers 2nd Ed
|
EDV / Informatik |
135.00 |
|
Buch |
Sprache:
Englisch / Autor: Steven R. Rakitin / Einband: Gebunden |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_4yuu2760d3d1nk647kfz4nwjk498db.jpg) |
Verification, Validation and Testing in Software Engineering
|
EDV / Informatik |
131.00 |
|
Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_cf5yvmj5fq43sbnvsl4ptct486egb2f9a.jpg) |
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
|
Psychologie / Pädagogik |
73.00 |
|
Buch |
Sprache:
Englisch / Autor: Steven A. Thomson / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_h2r5q8nm7ei4p0n1bl3k98znyhbnea.jpg) |
Software Quality Approaches: Testing, Verification, and Validation - Software Best Practice 1
|
EDV / Informatik |
107.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_0d9qfpoi9y4xy4tf3axhw7j1f9n0srr.jpg) |
Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
|
EDV / Informatik |
130.00 |
|
Buch |
Sprache:
Englisch / Autor: Mourad Debbabi / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_j9zqsznk4qb1d6uaj86w1rpa37s0aug.jpg) |
Verification and Validation of Modern Software-Intensive Systems
|
EDV / Informatik |
53.70 |
|
Buch |
Sprache:
Englisch / Autor: G. Gordon Schulmeyer / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_ca5ci853g4ge0bl4p1e21gx98wv5wbp.jpg) |
Verification and Validation of Real-Time Software
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_ituh2rfis92j2mpji7hycni8ujykwehx5pn.jpg) |
INCOSE Needs and Requirements Manual: Needs, Requirements, Validation, Verification Across The Lifecycle
|
Naturwissensch., Medizin, Technik |
119.00 |
|
Buch |
ANGEKÜNDIGT (April 2025) Sprache:
Englisch / Autor: Tami Edner Katz / Einband: Gebunden |
|
|
|
| / 1 |