Koop 10 boeken voor 10 € hier!
Bookbot
Het boek is momenteel niet op voorraad

Model checking nondeterministic and randomly timed systems

Parameters

Een boek kopen

Model checking nondeterministic and randomly timed systems, Martin R. Neuhäußer

Taal
Jaar van publicatie
2010
Zodra we het ontdekt hebben, sturen we een e-mail.

Betaalmethoden

Nog niemand heeft beoordeeld.Tarief