Formal Methods and Software...
Zhenhua Duan (Editor),
Luke Ong (Editor)
Buy from £48.57
eBook from £13.28
|
Static Analysis: 23rd...
Xavier Rival (Editor)
Buy from £48.73
eBook from £13.28
|
Logic, Language, and...
Helle Hvid Hansen (Editor),
Sarah E Murray (Editor)
Buy from £48.30
eBook from £13.28
|
Formal Methods and Software...
Kazuhiro Ogata (Editor),
Mark Lawford (Editor)
Buy from £48.80
eBook from £13.28
|
Reachability Problems: 8th...
Joel Ouaknine (Editor),
Igor Potapov (Editor)
Buy from £18.91
eBook from £13.28
|
Small Dynamic Complexity...
Thomas Zeume
Buy from £25.77
eBook from £13.28
|
Integrated Formal Methods:...
Michael Leuschel (Editor),
Heike Wehrheim (Editor)
Buy from £45.97
eBook from £13.28
|
The Beauty of Functional Code...
Peter Achten (Editor),
Pieter Koopman (Editor)
Buy from £45.02
eBook from £12.07
|
Constraints Meet Concurrency
Jacopo Mauro
Buy from £48.80
eBook from £13.28
|
Instruction Sequences for...
Jan A Bergstra,
Cornelis a Middelburg
Buy from £134.61
eBook from £23.90
|
Foundations of Security...
Alessandro Aldini (Editor),
Javier Lopez (Editor)
Buy from £48.80
eBook from £13.28
|
Quality of Software...
Professor Steffen Becker (Editor),
Frantisek Plasil (Editor)
Buy from £10.91
eBook from £13.28
|
Functional and Logic...
Tom Schrijvers (Editor),
Peter Thiemann (Editor)
Buy from £48.73
eBook from £13.28
|
Model Checking Software: 13th...
Antti Valmari (Editor)
Buy from £39.19
eBook from £13.28
|
Zb 2000: Formal Specification...
Prof. Jonathan P Bowen (Editor),
Steve Dunne (Editor)
Buy from £8.85
eBook from £13.28
|
Conceptual Modelling and Its...
Antje D?sterh÷ft (Editor),
Meike Klettke (Editor)
Buy from £48.32
eBook from £13.28
|
Formal Modeling and Analysis...
Uli Fahrenberg (Editor),
Stavros Tripakis (Editor)
Buy from £48.80
eBook from £13.28
|
Theoretical and Practical...
Dennis Dams (Editor),
Robert Gerth (Editor)
Buy from £13.22
eBook from £13.28
|
Coordination, Organizations,...
Olivier Boissier (Editor),
Julian Padget (Editor)
Buy from £44.45
eBook from £13.28
|
Domains and Processes:...
Klaus Keimel (Editor),
Guo-Qiang Zhang (Editor)
Buy from £90.37
eBook from £23.90
|
Formal Methods for Software...
Marco Bernardo (Editor),
Paola Inverardi (Editor)
Buy from £44.20
eBook from £13.28
|
Verification, Model Checking,...
Byron Cook (Editor),
Andreas Podelski (Editor)
Buy from £9.65
eBook from £13.28
|
Advances in SmallTalk: 14th...
Wolfgang de Meuter (Editor)
Buy from £43.36
eBook from £13.28
|
Fundamental Approaches to...
Matthew B Dwyer (Editor),
Antonia Lopes (Editor)
Buy from £40.29
eBook from £13.28
|
