Model Checking Software

NOK 774,00
+ NOK 226,49 i frakt

Model Checking Software

Solgt av:
  • product image

NOK 774,00

På lager
+ NOK 226,49 i frakt

14-dagers returpolicy

Betalingsmåter:

Produktdetaljer

Produktdetaljer

Model Checking Software

This Volume Contains The Proceedings Of The 16th International Spin Workshop On Model Checking Of Software (spin 2009), That Was Held At The Grenoble World Trade Center, In Grenoble, France, June 26-28, 2009. The Workshop Was Co-located With The 21st International Conference On Computer-aided Veri?- Tion (cav 2009). The Spin Workshopis A Forum For Practitioners And Researchersinterested In Themodelchecking-basedanalysisofsoftwaresystems.thefocusoftheworkshop Is On Theoretical Advances And Empirical Evaluations Related To State-space And Path Exploration Techniques, As Implemented In The Spin Model Checker And Other Software Veri?cation Tools.
  • Fruugo-ID: 557253106-1125522981
  • ISBN: 9783642026515
Levering

Leveranse

Sendes i løpet av 24 timer

  • STANDARD: NOK 226,49 - Levering mellom kl ons. 25 november 2026–fre. 27 november 2026

Sendes fra Storbritannia.

Retur

Retur

Vi gjør vårt beste for å sikre at produktene du bestiller, leveres til deg i sin helhet og i samsvar med dine spesifikasjoner. Skulle du likevel motta en ufullstendig bestilling eller andre varer enn dem du bestilte, eller hvis du av en eller annen grunn ikke er fornøyd med bestillingen, kan du returnere bestillingen eller enkeltvarer i bestillingen og motta full refusjon for varene.

Se fullstendige retningslinjer for retur