Logic Based Program Synthesis and Transformation

14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

AvSandro Etalle

E-bok

PDF, Engelska, 2005

739 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Produktinformation

Utgivningsdatum:2005-06-13
Språk:Engelska
Filformat:PDF
Kopieringsskydd:LCP
ISBN:9783540316831
Förlag:Springer Berlin Heidelberg

Utforska kategorier

Programmeringsböcker inom Data och IT
Systemvetenskap och AI inom Data och IT
Artificiell intelligens inom Data och IT

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Del 238

Trust Management

Sandro Etalle, Stephen Marsh

Häftad, 2010

1 137 kr

Logic Programming

Sandro Etalle, Miroslav Truszczynski

Häftad, 2006

571 kr

Formal Aspects of Security and Trust

Sandro Etalle, Anupam Datta, Gilles Barthe

E-bok

2012

739 kr

Logic Programming

Miroslav Truszczynski, Sandro Etalle

E-bok

2006

739 kr

Formal Aspects of Security and Trust

Pierpaolo Degano, Sandro Etalle, Joshua Guttman

Häftad, 2011

571 kr

Trust Management

Stephen Marsh, Sandro Etalle

E-bok

2007

1 459 kr