Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11,
69,15 €
Correctness proof for the WAM with types. - Model checking of persistent Petri nets. - Provability in TBLL: A decision procedure. - A new approach to abstract data types II computation on ADTs as ordinary computation.
Jetzt bei Ebay:
