Filters
Advanced Search Browse by Genre

Found 11 results for "LOTOS (Computer program language)"

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Verification of systems and circuits using LOTOS, Petri Nets...

by Michael Yoeli, Michael Yoeli

2008 6 ed.
Verification Petri nets Computer software
LOTOS
LOTOS

by Zbigniew Huzar

2007 1 ed.
LOTOS (Computer program l...
Review of Estelle and LOTOS with respect to critical computer applications
Review of Estelle and LOTOS with respect to critical compute...

by Rodney L. Bown

1991 1 ed.
Programming languages (El...
The Formal description technique Lotos
The Formal description technique Lotos
1989 2 ed.
Electronic data processin... Distributed processing LOTOS (Computer program l...
Estelle, LOTOS und SDL
Estelle, LOTOS und SDL

by Dieter Hogrefe, Matthias J. Hüdepohl

2011 1 ed.
Computer network protocol... Sdl (computer program lan...
LOTOSphere
LOTOSphere
1995 1 ed.
Programming languages Programming - Software De... Computer software
LOTOSphere
LOTOSphere

by Tommaso Bolognesi

1995 1 ed.
Development LOTOS (Computer program l... Computer software
Using formal description techniques
Using formal description techniques

by Kenneth J. Turner

1993 1 ed.
Computer programming Formal languages Electronic digital comput...
The OSI95 transport service with multimedia support
The OSI95 transport service with multimedia support

by A. Danthine

1994 1 ed.
OSI (Computer network sta... LOTOS (Computer program l... Multimedia systems
Communication protocol specification and verification
Communication protocol specification and verification

by Lai, Richard Ph. D.

1998 1 ed.
Computer network protocol... Specifications LOTOS (Computer program l...
Concurrency theory
Concurrency theory

by Howard Bowman

2005 2 ed.
Machine theory Parallel processing (Elec... LOTOS (Computer program l...