Logic of Computation

Specificaties
Gebonden, 401 blz. | EN
Springer-Verlag Berlin and Heidelberg GmbH & Co. K | 1997
ISBN13: 9783540629634
Rubricering
Springer-Verlag Berlin and Heidelberg GmbH & Co. K e druk, 1997 9783540629634
Onderdeel van serie NATO ASI
€ 101,84
Levertijd ongeveer 16 werkdagen
Gratis verzonden

Samenvatting

The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School.

Specificaties

ISBN13:9783540629634
Taal:EN
Bindwijze:Gebonden
Aantal pagina's:401
Uitgever:Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Serie:NATO ASI
€ 101,84
Levertijd ongeveer 16 werkdagen
Gratis verzonden

Rubrieken

    Personen

      Trefwoorden

        Logic of Computation