Specification of Software Systems (Bog, Hardback, Engelsk) af V.S. Alagar

Specification of Software Systems

(Bog, Hardback, Engelsk)
Forfattere: V.S. Alagar, K. Periyasamy



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

Beskrivelse

Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer London Ltd
Forfattere V.S. Alagar, K. Periyasamy
Type Bog
Format Hardback
Sprog Engelsk
Udgave Second Edition 2011
Udgivelsesdato 28-03-2011
Første udgivelsesår 2011
Serie Texts in Computer Science
Illustrationer XXVI, 646 p.
Originalsprog United Kingdom
Sideantal 646
Indbinding Hardback
Forlag Springer London Ltd
Sideoplysninger 646 pages, XXVI, 646 p.
Mål 240 x 159 x 44
ISBN-13 / EAN-13 9780857292766