Verification Model Checking And Abstract Interpretation 4th International

NOK 774,00
+ NOK 228,49 i frakt

Verification Model Checking And Abstract Interpretation 4th International

Solgt av:
  • product image

NOK 774,00

På lager
+ NOK 228,49 i frakt

14-dagers returpolicy

Betalingsmåter:

Produktdetaljer

Produktdetaljer

Verification Model Checking And Abstract Interpretation 4th International

This Volume Contains The Proceedings Of The 4th International Conference On Veri?cation, Model Checking, And Abstract Interpretation (vmcai 2003), Held In York City, January 9-11, 2003. The Purpose Of Vmcai Was To Provide A Forum For Researchers From Three Communities-veri?cation, Model Checking, And Abstract Interpretation-that Will Facilitate Interaction, Cross-fertilization, And The Advance Of Hybrid Methods That Combine The Three Areas. With The G- Wingneedforformaltoolstoreasonaboutcomplex,in?nite-state,andembedded Systems, Such Hybrid Methods Are Bound To Be Of Great Importance.
  • Fruugo-ID: 557237141-1125506743
  • ISBN: 9783540003489
Levering

Leveranse

Sendes i løpet av 24 timer

  • STANDARD: NOK 228,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