Formal Methods For Executable Software Models 14th International School On Forma

NOK 774,00
+ NOK 226,49 i frakt

Formal Methods For Executable Software Models 14th International School On Forma

Solgt av:
  • product image

NOK 774,00

På lager
+ NOK 226,49 i frakt

14-dagers returpolicy

Betalingsmåter:

Produktdetaljer

Produktdetaljer

Formal Methods For Executable Software Models 14th International School On Forma

This Book Presents 8 Tutorial Lectures Given By Leading Researchers At The 14th Edition Of The International School On Formal Methods For The Design Of Computer, Communication And Software Systems, Sfm 2014, Held In Bertinoro, Italy, In June 2014.sfm 2014 Was Devoted To Executable Software Models And Covered Topics Such As Variability Models, Automated Analysis Techniques, Deductive Verification, And Runtime Assessment And Testing. The Papers Collected In The Two Parts (first Part: Modeling And Verification; Second Part: Run-time Assessment And Testing) Of This Volume Represent The Broad Range Of Topics Of The School.
  • Fruugo-ID: 557209699-1125479133
  • ISBN: 9783319073163
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