1 449,00 kr
+ 99,99 kr Leverans

Reactive Systems

  • Märke: Unbranded
Säljs av:

Reactive Systems

  • Märke: Unbranded
Pris: 1 449,00 kr
Säljs av:
1 449,00 kr
+ 99,99 kr Leverans

I lager

Vi erbjuder följande betalsätt

Beskrivning

This accessible text describes the process algebraic approach to the specification and verification of software and software systems using mathematical logic. Offering a balanced introduction for graduate students the book describes all the various approaches their strengths and weaknesses and when they are best used. Language: English
  • Märke: Unbranded
  • Kategori: Datorer & Internet
  • Artist: Anna Ingolfsdottir
  • Format: Hardback
  • Publiceringsdatum: 2007/08/09
  • Sidantal: 302
  • Förläggare / Bolag: Cambridge University Press
  • Språk: English
  • Fruugo-ID: 337988231-741648789
  • ISBN: 9780521875462

Leverans och returer

Skickas inom 4 dagar

  • STANDARD: 99,99 kr - Leverans mellan kl mån 27 oktober 2025–tors 30 oktober 2025

Leverans från Storbritannien.

Vi gör vårt bästa för att säkerställa att produkterna du beställer levereras kompletta och enligt dina specifikationer. Om du däremot skulle ta emot en ofullständig beställning, eller andra artiklar än de du beställt, eller om det finns någon annan anledning till att du inte är nöjd med din beställning, kan du returnera beställningen, eller valfria produkter som ingår i beställningen, och få fullständig ersättning för artiklarna. Visa fullständig returpolicy