Integrated Formal Methods:...
Michael Butler (Editor),
Luigia Petre (Editor)
Buy from $5.00
eBook from $16.50
|
Domains and Processes:...
Klaus Keimel (Editor),
Guo-Qiang Zhang (Editor)
Buy from $103.32
eBook from $29.70
|
Types in Compilation: Third...
Professor Robert Harper (Editor)
Buy from $51.65
eBook from $16.50
|
Refinement in Z and Object-Z:...
Eerke Boiten,
J Derrick
Buy from $95.46
eBook from $53.70
|
Programming Languages and...
Dr. David Sands (Editor)
Buy from $31.34
eBook from $16.50
|
Generative and Component...
Krzysztof Czarnecki (Editor),
Ulrich W Eisenecker (Editor)
Buy from $51.50
eBook from $16.50
|
Semantics, Applications, and...
Walid Taha (Editor)
Buy from $16.26
eBook from $16.50
|
Learning Language in Logic
James Cussens (Editor),
Saso Dzeroski (Editor)
Buy from $39.11
eBook from $16.50
|
Zb 2000: Formal Specification...
Prof. Jonathan P Bowen (Editor),
Steve Dunne (Editor)
Buy from $32.78
eBook from $16.50
|
Generalized Quantifiers and...
Jouko Väänänen (Editor)
Buy from $51.65
eBook from $16.50
|
Industrial-Strength Formal...
Michael G Hinchey (Editor),
Prof. Jonathan P Bowen (Editor)
Buy from $25.13
eBook from $47.70
|
Static Analysis: 6th...
Agostino Cortesi (Editor),
Gilberto File (Editor)
Buy from $35.72
eBook from $16.50
|
Theoretical and Practical...
Dennis Dams (Editor),
Robert Gerth (Editor)
Buy from $38.22
eBook from $16.50
|
Language Equations
Ernst Leiss
Buy from $58.09
eBook from $16.50
|
Program Development by...
Emil Sekerinski (Editor),
Kaisa Sere (Editor)
Buy from $130.14
eBook from $62.70
|
Functional and Logic...
Tetsuo Ida (Editor),
Masato Takeichi (Editor)
Buy from $86.42
eBook from $151.00
|
Mathematical Aspects of...
Gheorghe Paun (Editor)
Buy from $14.25
eBook from $300.00
|
Non-Deterministic Concurrent...
Reem Bahgat
Buy from $110.08
eBook from $148.00
|
Introduction to Formal...
Gyorgy E Revesz,
Mathematics
Buy from $3.41
eBook from $14.95
|
P-Prolog: A Parallel Logic...
Rong Yang
Buy from $23.87
eBook from $121.00
|
