Model Checking Software: 15th...
Klaus Havelund (Editor),
Rupak Majumdar (Editor)
Buy from $5.10
eBook from $16.50
|
Practical Aspects of...
Professor Paul Hudak (Editor),
David S Warren (Editor)
Buy from $51.65
eBook from $16.50
|
Trustworthy Global Computing
Ugo Montanari (Editor),
Donald Sannella (Editor)
Buy from $46.63
eBook from $16.50
|
Integrated Formal Methods:...
Jim Davies (Editor),
Jeremy Gibbons (Editor)
Buy from $79.77
eBook from $29.70
|
Semantics with Applications:...
Hanne Riis Nielson,
Flemming Nielson
Buy from $21.01
eBook from $12.00
|
Advances in SmallTalk: 14th...
Wolfgang de Meuter (Editor)
Buy from $46.11
eBook from $16.50
|
Hardware and Software,...
Eyal Bin (Editor),
Avi Ziv (Editor)
Buy from $46.11
eBook from $16.50
|
Verification, Model Checking,...
Byron Cook (Editor),
Andreas Podelski (Editor)
Buy from $25.00
eBook from $16.50
|
Constraint Logic Programming...
R Krzysztof Apt
Buy from $11.59
eBook from $74.40
|
Languages and Compilers for...
Eduard Ayguadé (Editor),
Gerald Baumgartner (Editor)
Buy from $25.00
eBook from $16.50
|
Variations on Constants: Flow...
Markus Müller-Olm
Buy from $5.00
eBook from $16.50
|
Formal Methods and Software...
Zhiming Liu (Editor),
Jifeng He (Editor)
Buy from $60.77
eBook from $29.70
|
Recent Advances in Parallel...
Bernd Mohr (Editor),
Jesper Larsson Träff (Editor)
Buy from $51.65
eBook from $16.50
|
Coordination, Organizations,...
Olivier Boissier (Editor),
Julian Padget (Editor)
Buy from $48.25
eBook from $16.50
|
Hardware and Software,...
Shmuel Ur (Editor),
Eyal Bin (Editor)
Buy from $37.77
eBook from $16.50
|
Model Checking Software: 13th...
Antti Valmari (Editor)
Buy from $41.70
eBook from $16.50
|
Rules and Rule Markup...
Asaf Adi (Editor),
Suzette Stoutenburg (Editor)
Buy from $51.38
eBook from $16.50
|
Programming Language...
Michael Scott
Buy from $2.84
eBook from $73.95
|
Component-Based Software...
George Heineman (Editor),
Ivica Crnkovic (Editor)
Buy from $41.23
eBook from $16.50
|
Logic in Computer Science 2ed
Michael Huth,
Mark Ryan
Buy from $30.77
eBook from $58.40
|
Model Checking Software: 11th...
Susanne Graf (Editor),
Laurent Mounier (Editor)
Buy from $33.20
eBook from $16.50
|
Casl User Manual:...
Michel Bidoit,
Peter D Mosses
Buy from $46.99
eBook from $16.50
|
Formal Methods for Software...
Marco Bernardo (Editor),
Paola Inverardi (Editor)
Buy from $38.21
eBook from $16.50
|
Automata, Languages and...
Jos C M Baeten (Editor),
Jan Karel Lenstra (Editor)
Buy from $43.98
eBook from $16.50
|
