Menu
Află starea comenzii
Contactați-ne
Carte Computer Science Logic Mogens Nielsen

Computer Science Logic

11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997. Selected Papers

Autor: Mogens Nielsen, Wolfgang Thomas
Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.90 lei
This book constitutes the strictly refereed post-workshop proceedings of the 11th International Work...

Informații despre carte

Autor
Mogens Nielsen, Wolfgang Thomas
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
1997
Pagini
520
EAN
9783540645702
ISBN
3540645705
Enbook ID
05274831
Editura
Springer, Berlin
Greutate
684
Dimensiuni
156 x 234 x 27

Descriere completă

This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997.The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area.

S-ar putea să te intereseze

England's Population

Andrew Hinde
747.74 lei

Transactions on Rough Sets IV

James F. Peters
276.90 lei

Emerging Technologies in Africa

Matthew N. O. Sadiku
355.24 lei

Clienții care au cumpărat această carte au mai cumpărat și

Analogrechner

Bernd Ulmann
601.46 lei

Viva el Tango!, für Klavier, m. Audio-CD. Bd.1

Diego Marcelo Collatti
158.89 lei

Gitarre Spielen MIT Lena Und Tom

Andreas Schumann
90.64 lei

Rauhnacht, 4 Audio-CD

Volker Klüpfel
63.69 lei

miniLÜK-Set

137.49 lei

Le Douanier Rousseau

Plazy
106.19 lei