
Computer Aided Verification
Rajeev Alur, Thomas Henzinger
₹5,618

Erster Band: Arbeitsuntersuchungen
by K. A. Tramm
Free delivery. Nothing extra to pay at checkout.
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anf�ngen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen f�r die historische wie auch die disziplingeschichtliche Forschung zur Verf�gung, die jeweils im historischen Kontext betrachtet werden m�ssen.
Description supplied by the publisher.