Specification of Software Systems

V.S. Alagar
og K. Periyasamy

Bog E-bog

Format
Bog, hæftet
Engelsk
444 sider

Normalpris: kr. 574,95

Medlemspris: kr. 509,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
Forventet levering: 23-10-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main formal methods.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal444
Udgivelsesdato22-12-2012
ISBN139781475729214
Forlag Springer
FormatHæftet

Størrelse og vægt

Vægt767 g

Dybde2,3 cm

10 cm

17,8 cm

25,4 cm

Specification of Software Systems

Findes i disse kategorier...