Utvidet returrett til 31. januar 2025

Computer-Aided Verification of Coordinating Processes

- The Automata-Theoretic Approach

  • Språk:
  • Engelsk
  • ISBN:
  • 9780691634890
  • Bindende:
  • Hardback
  • Sider:
  • 284
  • Utgitt:
  • 19. april 2016
  • Dimensjoner:
  • 152x229x18 mm.
  • Vekt:
  • 567 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: Kan forhåndsbestilles

Brukervurderinger av Computer-Aided Verification of Coordinating Processes



Finn lignende bøker
Boken Computer-Aided Verification of Coordinating Processes finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.