Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Abstract State Machines, B and Z

Abstract State Machines, B and Z - Bog

- First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

indgår i Theoretical Computer Science and General Issues serien

indgår i Lecture Notes in Computer Science serien

Abstract State Machines, B and Z
Bag om Abstract State Machines, B and Z

Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540876021
  • Indbinding:
  • Paperback
  • Sideantal:
  • 384
  • Udgivet:
  • 8. september 2008
  • Udgave:
  • 2008
  • Størrelse:
  • 235x155x25 mm.
  • Vægt:
  • 611 g.
  • 8-11 hverdage.
  • 16. december 2024
På lager
Forlænget returret til d. 31. januar 2025

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Abstract State Machines, B and Z

Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.

Brugerbedømmelser af Abstract State Machines, B and Z



Andre købte også..
Find lignende bøger
Bogen Abstract State Machines, B and Z findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.