Software Specification...
Marc Frappier (Editor),
Henri Habrias (Editor)
Buy from $84.53
eBook from $29.70
|
Descriptional Complexity of...
Yo-Sub Han (Editor),
Gy÷rgy Vaszil (Editor)
Buy from $64.63
eBook from $25.50
|
Formal Specification:...
Nimal Nissanke
Buy from $19.73
eBook from $16.50
|
Formal Methods and Software...
Michael Butler (Editor),
Sylvain Conchon (Editor)
Buy from $50.65
eBook from $16.50
|
Industrial-Strength Formal...
Michael G Hinchey (Editor),
Prof. Jonathan P Bowen (Editor)
Buy from $15.13
eBook from $47.70
|
Formal Techniques for Safety...
Cyrille Artho (Editor),
Peter Csaba ?lveczky (Editor)
Buy from $47.49
eBook from $16.50
|
Formal Concept Analysis: 17th...
Dominik D?rrschnabel (Editor),
Domingo L?pez Rodr?guez (Editor)
Buy from $49.54
eBook from $18.00
|
Symbolic Simulation Methods...
Robert B Jones
Buy from $54.83
eBook from $29.70
|
FM'99 - Formal Methods: World...
Jeannette M Wing (Editor),
Jim Woodcook (Editor)
Buy from $27.94
eBook from $29.70
|
Formal Grammar: 15th and 16th...
Philippe de Groote (Editor),
Mark-Jan Nederhof (Editor)
Buy from $60.65
eBook from $16.50
|
Theories of Programming and...
Jonathan P. Bowen (Editor),
Qin Li (Editor)
Buy from $64.64
eBook from $24.00
|
NASA Formal Methods: 17th...
Aaron Dutle (Editor),
Laura Humphrey (Editor)
Buy from $116.49
eBook from $47.70
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from $51.61
eBook from $16.50
|
Formal Techniques for...
Holger Giese (Editor),
Grigore Rosu (Editor)
Buy from $60.65
eBook from $16.50
|
NASA Formal Methods: 15th...
Kristin Yvonne Rozier (Editor),
Swarat Chaudhuri (Editor)
Buy from $88.65
eBook from $29.70
|
Descriptional Complexity of...
Andreas Malcher (Editor),
Luca Prigioniero (Editor)
Buy from $105.38
eBook from $41.70
|
Formal Methods and Software...
Toshiaki Aoki (Editor),
Kenji Taguchi (Editor)
Buy from $51.88
eBook from $16.50
|
Real Time and Such: Essays...
Susanne Graf (Editor),
Paul Pettersson (Editor)
Buy from $48.31
eBook from $18.00
|
Formal Aspects of Component...
Diego Marmsoler (Editor),
Meng Sun (Editor)
Buy from $48.17
eBook from $16.50
|
Rebeca for Actor Analysis in...
Edward A. Lee (Editor),
Mohammad Reza Mousavi (Editor)
Buy from $68.34
eBook from $25.50
|
Formal Aspects of Component...
Gwen Sala?n (Editor),
Anton Wijs (Editor)
Buy from $41.31
eBook from $15.00
|
Formal Approaches to Software...
Andreas Ulrich (Editor)
Buy from $46.80
eBook from $16.50
|
Formal Modeling and Analysis...
V?ctor Braberman (Editor),
Laurent Fribourg (Editor)
Buy from $44.12
eBook from $15.00
|
Formal Methods Teaching: 6th...
Emil Sekerinski (Editor),
Leila Ribeiro (Editor)
Buy from $35.30
eBook from $13.50
|
