Understanding Z A Specification Language and its Formal Semantics 3 Cambridge Tracts in Theoretical Computer Science Series Number 3

299,00 RON
+ 27,99 RON Livrare
  • product image

Understanding Z A Specification Language and its Formal Semantics 3 Cambridge Tracts in Theoretical Computer Science Series Number 3

  • Marcă: Unbranded
Vândut de:

Understanding Z A Specification Language and its Formal Semantics 3 Cambridge Tracts in Theoretical Computer Science Series Number 3

  • Marcă: Unbranded

299,00 RON

În stoc
+ 27,99 RON Livrare
Vândut de:

299,00 RON

În stoc
+ 27,99 RON Livrare

Acceptăm următoarele metode de plată

Descriere

Understanding Z A Specification Language and its Formal Semantics 3 Cambridge Tracts in Theoretical Computer Science Series Number 3

The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z this book justifies the claim that Z is a precise specification language and provides a standard framework for understanding Z specifications. Z is compared with other methods such as VDM and CLEAR and in the final chapter a number of studies in Z style are presented to show that Z can be used in a wide variety of specification tasks. This book will appeal to those who wish to deepen their understanding of the mathematical background of the Z method those who want a concise definition of the language and those interested in the design of specification languages. Language: English
  • Marcă: Unbranded
  • Categorie: Calcul și internet
  • Artist: Spivey J. M.
  • Limbă: English
  • Număr de pagini: 140
  • Format: Paperback
  • Data publicării: 2008/01/21
  • Editor / Etichetă: Cambridge University Press
  • ID Fruugo: 337398384-741030578
  • ISBN: 9780521054140

Livrări şi Returnări

Expediat în 5 zile

  • STANDARD: 27,99 RON - Livrare între mar. 23 decembrie 2025–vin. 26 decembrie 2025

Livrare de la Regatul Unit.

Facem tot ce ne stă în putinţă să ne asigurăm că produsele comandate de dumneavoastră vă sunt livrate în întregime şi conform specificaţiilor. Cu toate acestea, dacă primiţi o comandă incompletă sau articole diferite de cele comandate, sau aveţi alt motiv pentru care nu sunteţi mulţumit de comandă, puteţi returna comanda sau orice produse incluse în comandă şi primiţi o rambursare completă pentru articole. Vizualizaţi întreaga politică de returnare