Refinement: Semantics, Languages and Applications (Bog, Paperback / softback, Engelsk) af John Derrick
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Softwareudvikling
  5. Matematisk datateori
  6. Refinement: Semantics, Languages and Applications

Refinement: Semantics, Languages and Applications

(Bog, Paperback / softback, Engelsk)
Forfattere: John Derrick, Eerke Boiten
Forlag: Springer Nature Switzerland AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk datateori Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Forfattere John Derrick, Eerke Boiten
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave Softcover Reprint of the Original 1st 2018 ed.
Udgivelsesdato 25-01-2019
Første udgivelsesår 2019
Illustrationer 39 Illustrations, black and white; XIX, 269 p. 39 illus.
Originalsprog Switzerland
Sideantal 269
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 269 pages, 39 Illustrations, black and white; XIX, 269 p. 39 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783030064976