Premium Members Get 10% Off and Earn Rewards Find Out More
1- 5 of 5 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS / Edition 1, Author: Michael Yoeli
QUICK ADD
Verification of Systems and…
by Michael Yoeli, Rakefet Kol
#53 in Series
Hardcover $149.95
Title: LOTOSphere: Software Development with LOTOS / Edition 1, Author: Tommaso Bolognesi
QUICK ADD
LOTOSphere: Software…
by Tommaso Bolognesi, Jeroen van de Lagemaat, Chris Vissers
Hardcover $169.99
Title: Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems / Edition 1, Author: Howard Bowman
QUICK ADD
Concurrency Theory: Calculi an…
by Howard Bowman, Rodolfo Gomez
Paperback $169.99
Title: Communication Protocol Specification and Verification / Edition 1, Author: Richard Lai
QUICK ADD
Communication Protocol…
by Richard Lai, Ajin Jirachiefpattana
#464 in Series
Hardcover $219.99
Title: The OSI95 Transport Service with Multimedia Support, Author: Andre Danthine
QUICK ADD
The OSI95 Transport Service…
by Andre Danthine (Editor)
#1 in Series
Paperback $109.99