> > > > > a-hierarchical-technique-for-mechanical-theorem-proving-and-its-application-to-programming-language-design

Norman Rubin - A Hierarchical Technique For Mechanical Theorem Proving And Its Application To Programming Language Design

Het boek A Hierarchical Technique For Mechanical Theorem Proving And Its Application To Programming Language Design van de auteur Norman Rubin is 1 maal gevonden, 1 maal nieuw en 0 maal tweedehands. "A Hierarchical Technique For Mechanical Theorem Proving And Its Application To Programming Language Design" is nieuw te koop vanaf € 27,80 bij Bol.com.

Nieuw (1) vanaf € 27,80 bij Bol.com Toon 1 nieuw boek
Bent u de schrijver van dit boek of weet u iets over deze auteur?

Omero.nl is druk bezig om informatie over auteurs toe te voegen. Neem contact met ons op via support@omero.nl om een auteursprofiel aan te maken met een foto, biografie, website adres en sociale media links.
Nieuw
We hebben 1 nieuw boek gevonden
A Hierarchical Technique For Mechanical Theorem Proving And Its Application To Programming Language Design

Type: Hardcover
ISBN: 9781342274304
Levertijd: 27

Aanbieder:
€ 27,80
Bekijk boek