Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei
Easybox 20 lei
Cargus 25 lei
FAN 25 lei
Cum să cumpăr
Ajutor
Livrare
Packeta 15 lei
Easybox 20 lei
Cargus 25 lei
FAN 25 lei
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Consilier de cumpărături
Suntem aici pentru tine!
031 22 95 182
Contul meu
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje
Creați-vă un cont gratuit
▸
Gol :-(
0
Fork Algebras In Algebra, Logic And Computer Science
Limba
engleză
engleză
Carte
Copertă tare
Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metal...
Descrierea completă
Codul Libristo: 02082715
?
265 b
265 b
533
lei
șansă 50%
Şanse de a obține acest titlu
Când primesc cărțile?
30 de zile pentru retur bunuri
Ar putea de asemenea, să te intereseze
/
Carte broșată
200
lei
/
Carte broșată
324
lei
Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This work gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods are foreseen, and the work covers all the essentials in order to provide the reader with a better understanding.
Informații despre carte
Titlu complet
Fork Algebras In Algebra, Logic And Computer Science
Autor
Marcelo Fabian Frias
Limba
engleză
engleză
Legare
Carte - Copertă tare
Data publicării
2002
Număr pagini
232
EAN
9789810248765
ISBN
9810248768
Codul Libristo
02082715
Greutatea
449
Dimensiuni
163 x 230 x 19
