Relational Methods in Computer Science
Forfatter: info mangler
- Format
- Bog, paperback
- Engelsk
- Indgår i serie
Normalpris
kr. 414,95
Medlemspris
kr. 389,95
- Du sparer kr. 25,00
- Fri fragt
-
Leveringstid: 2-3 uger (Sendes fra fjernlager) Forventet levering: 06-03-2026
- Kan pakkes ind og sendes som gave
Beskrivelse
The calculus of relations turned into an important conceptual and methodological tool in computer science. The methods presented in this book include questions of relational databases, applications to program specification, resource-conscious linear logic, semantic and refinement consideration, nonclassical logics for reasoning about programs, tabular methods in software construction, algorithm development, linguistic problems, followed by a comprehensive bibliography. The reader gets an overview of the wide-ranging applicability of relational methods in computer science.
Detaljer
- SprogEngelsk
- Sidetal272
- Udgivelsesdato23-04-1997
- ISBN139783211829714
- Forlag Springer Verlag Gmbh
- FormatPaperback
Størrelse og vægt
Anmeldelser
Vær den første!
Log ind for at skrive en anmeldelse.
Findes i disse kategorier...
- Fagbøger
- Andre fagbøger
- Matematik og naturvidenskab
- Matematik
- Matematikkens fundament
- Matematisk logik
- Relational Methods in Computer Science
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Computere og hardware
- Relational Methods in Computer Science
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Algoritmer og datastrukturer
- Relational Methods in Computer Science
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Softwareudvikling
- Relational Methods in Computer Science
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Databaser
- Relational Methods in Computer Science
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Matematisk datateori
- Matematik for informatikfag
- Relational Methods in Computer Science