J.F. Groote
8 titels in de boekenbase · Auteur · 1993–1996
Over J.F. Groote
J.F. Groote staat met 8 titels in de boekenbase als auteur. Bekend van de serie ‘Logic group preprint series’. Het werk valt vooral onder non-fictie informatief/professioneel algemeen. Verschenen tussen 1993 en 1996 bij Technische Universiteit Eindhoven en Universiteit Utrecht.
Serie: Logic group preprint series →
Confluence for process verification
J.F. Groote
Confluence for process verification
J.F. Groote
Paperback · 1996
Binary decision diagrams for first order predicate logic
J.F. Groote
Binary decision diagrams for first order predicate logic
J.F. Groote
Paperback · 1995
Focus points and convergent process operators
J.F. Groote
Focus points and convergent process operators
J.F. Groote
Paperback · 1995
Hiding propositional constants in BDDs
J.F. Groote
Hiding propositional constants in BDDs
J.F. Groote
Niet gespecificeerd · 1994
A correctness proof of a one-bit sliding window protocol in -m-CRL
M.A. Bezem
A correctness proof of a one-bit sliding window protocol in -m-CRL
M.A. Bezem
Paperback · 1993
A bounded retransmission protocol for large data packets
J.F. Groote
A bounded retransmission protocol for large data packets
J.F. Groote
Paperback · 1993
Overige titels
Werkte samen met