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

Logic Program Syn...
Fribourg Laurent
Electronic book text: $129.00

Formal Modeling a...
Braberman Vctor
Paperback:

Control of Switch...
Fribourg, Laurent
Electronic book text: $70.00

Control of Switch...
Fribourg, Laurent
Hardback: