Napredno iskanje

Naslovnica: Fields of Logic and Computation Programming and Software Engineering

Domov / Knjiga

Fields of Logic and Computation Programming and Software Engineering

essays dedicated to Yuri Gurevich on the occasion of his 70th birthday

Yuri Gurevich, Andreas Blass, Nachum Dershowitz, Wolfgang Reisig

Založnik: Springer

Cena knjige 103,95 EUR

ISBN9783642150241

VezavaMehka vezava

RazpoložljivostNa zalogi

Datum izdaje2010

Strani626

Brezplačna dostava v Slovenijo.

Naroči knjigo

Kategorije

Softwarespezifikation Komplexitätstheorie Mathematische Logik Symbolic and mathematical Logic Berechenbarkeit Programmverifikation