Model Checking Software 8th International Spin Workshop Toronto Canada

NOK 774,00
+ NOK 226,49 i frakt

Model Checking Software 8th International Spin Workshop Toronto Canada

Solgt av:
  • product image

NOK 774,00

På lager
+ NOK 226,49 i frakt

14-dagers returpolicy

Betalingsmåter:

Produktdetaljer

Produktdetaljer

Model Checking Software 8th International Spin Workshop Toronto Canada

This Book Constitutes The Refereed Proceedings Of The 8th International Spin Workshop Held In Toronto, Canada, In May 2001.the Spin Model Checker Is One Of The Most Powerful And Popular Systems For The Analysis And Verification Of Distributed And Concurrent Systems.the 13 Revised Full Papers Presented Together With One Invited Survey Paper And Three Invited Industrial Experience Reports Were Carefully Reviewed And Selected From 26 Submissions. Besides Foundational Issues Of Program Analysis And Formal Verification, The Papers Focus On Tools For Model Checking And Practical Applications In A Variety Of Fields.
  • Fruugo-ID: 557233949-1125503458
  • ISBN: 9783540421245
Levering

Leveranse

Sendes i løpet av 24 timer

  • STANDARD: NOK 226,49 - Levering mellom kl tir. 24 november 2026–tor. 26 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