Related Books
Language: en
Pages: 712
Pages: 712
Type: BOOK - Published: 1993 - Publisher: Springer Science & Business Media
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and rea
Language: en
Pages:
Pages:
Type: BOOK - Published: 1993 - Publisher:
Language: en
Pages: 695
Pages: 695
Type: BOOK - Published: 2014-03-12 - Publisher: Springer
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and rea
Language: en
Pages: 410
Pages: 410
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industr
Language: en
Pages: 689
Pages: 689
Type: BOOK - Published: 1993 - Publisher: