Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete S... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Matematikkens fundament
  6. Softwareudvikling
  7. Implicit and Explicit Semantics Integration in Proof-Based...

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

(Bog, Paperback / softback, Engelsk)
Forlag: Springer Verlag, Singapore

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

Matematikkens fundament Matematisk logik Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Verlag, Singapore
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2021 ed.
Udgivelsesdato 29-07-2021
Første udgivelsesår 2021
Illustrationer 29 Illustrations, color; 109 Illustrations, black and white; XII, 346 p. 138 illus., 29 illus. in color.
Fagredaktør Yamine Ait-Ameur, Shin Nakajima, Dominique Mery
Originalsprog Singapore
Sideantal 346
Indbinding Paperback / softback
Forlag Springer Verlag, Singapore
Sideoplysninger 346 pages, 29 Illustrations, color; 109 Illustrations, black and white; XII, 346 p. 138 illus., 29 i
Mål 235 x 155
ISBN-13 / EAN-13 9789811550560