Search Results - de Boer, Frank S. - Books - Pnueli, Amir

Verification of Sequential and Concurrent Programs

Paperback / softback 14 Mar 2012
ISBN: 9781447125136
Dewey: 005.1
£69.99
Special order line: only available to educational & business accounts. Sign In

Verification of sequential and concurrent programs.

eBook 15 Nov 2009
Publisher Springer
ISBN: 9781848827455
Dewey: 005.14
Licence From
£69.99
Special order line: only available to educational & business accounts. Sign In

Verification of Sequential and Concurrent Programs

Hardback 5 Oct 2009
ISBN: 9781848827448
Dewey: 005.14
£89.99
Special order line: only available to educational & business accounts. Sign In
Page 1 of 1