Carte Foundation of Software Science and Computation Structures Jerzy Tiuryn

Foundation of Software Science and Computation Structures

Third International Conference, FOSSACS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings.

Autor: Jerzy Tiuryn
Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
275.71 lei
This volume constitutes the refereed proceedings of the Third International Conference on Foundation...

Informații despre carte

Autor
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2000
Pagini
398
EAN
9783540672579
ISBN
3540672575
Enbook ID
01567303
Greutate
533
Dimensiuni
155 x 233 x 21

Descriere completă

This volume constitutes the refereed proceedings of the Third International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2000, held as part of ETAPS 2000 in Berlin, Germany in March/April 2000. The 25 revised full papers presented were carefully reviewed and selected from a total of 68 submissions. Among the topics covered are rewriting, pi-calculus, lambda-calculus, formal languages, proof systems, type theory, mobile processes, automata theory, predicate logic, etc.

S-ar putea să te intereseze

I Am... I Can

Melissa Grantham
69.25 lei
97.79 lei
283.85 lei
64.02 lei
142.93 lei

Third Watch

Sean Barrett
259.93 lei

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

Sexe et mensonges

Leïla Slimani
76.58 lei
125.33 lei