Formal Software Development with Event-B: A Practical Guide to Modelling, Refinement, and Verification

1/1
Prijzen vanaf
32,09

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Amazon Editie: Second Edition 2026, Paperback, Springer
Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Shop
Prijs
Verzendkosten
Totale prijs
Amazon Logo
32,09
Gratis
32,09
Naar shop
Gratis Shipping Costs
Amazon Marketplace Logo
32,09
Gratis
32,09
Naar shop
Gratis Shipping Costs
Beschrijving (1)

Editie: Second Edition 2026, Paperback, Springer

Productspecificaties

Merk Springer
EAN
  • 9783032312426

Java Software Development with Event B: A Practical Guide

25,99
Meer informatie Meer info

Formal Approaches to Software Testing and Runtime Verification

46,99
Meer informatie Meer info

Guide to Software Verification and Validation

84,99
Meer informatie Meer info

Development and Formal Verification of TTCAN

77,99
Meer informatie Meer info
Uitgelichte Keuze
32,09
Naar shop