Laurent Fribourg

Laurent Fribourg is the author of "Computer Science Logic", "Logic Program Synthesis and Transformation - Meta-Programming in Logic", "Control of Switching Systems by Invariance Analysis" and "Formal Modeling and Analysis of Timed Systems".

Books by Laurent Fribourg

Control of Switch...
Fribourg, Laurent
Digital download:

Computer Science ...
Fribourg Laurent
Paperback: $109.99

Computer Science ...
Fribourg Laurent
Electronic book text: $149.00

Control of Switch...
Fribourg, Laurent
Digital online: $177.95