Coalgebraic Methods in Computer Science
- 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
Forfatter: info mangler
- Format
- Bog, paperback
- Engelsk
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
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
Detaljer
- SprogEngelsk
- Sidetal259
- Udgivelsesdato02-08-2012
- ISBN139783642327834
- Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. K
- 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
- Coalgebraic Methods in Computer Science
- Fagbøger
- Andre fagbøger
- Matematik og naturvidenskab
- Matematik
- Sandsynlighedsregning og statistik
- Coalgebraic Methods in Computer Science
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informationsteknologi: generelle emner
- Coalgebraic Methods in Computer Science
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Virksomhedssoftware
- Matematikprogrammer og statistikprogrammer
- Coalgebraic Methods in Computer Science
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Coalgebraic Methods in Computer Science
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Matematisk datateori
- Matematik for informatikfag
- Coalgebraic Methods in Computer Science