Introduction to Coalgebra : Towards Mathematics of States and Observation
Jacobs, Bart
Produseres på bestilling
Leveringstid: 3-10 dager
Handlinger
Beskrivelse
Omtale
This is the first mature and accessible introduction to coalgebra, providing clear mathematical explanations, with many examples and exercises involving deterministic and non-deterministic automata, transition systems, streams, Markov chains and weighted automata. It will be of interest to mathematicians, computer scientists, mathematical physicists and even economists.
-
Utgivelsesdato:
27.10.2016
-
ISBN/Varenr:
9781107177895
-
Språk:
Engelsk
-
Forlag:
Cambridge University Press
-
Innbinding:
Innbundet
-
Fagtema:
Matematikk og naturvitenskap
-
Serie:
Cambridge Tracts in Theoretical Computer Science
-
Litteraturtype:
Faglitteratur
-
Sider:
494
-
Høyde:
16.2 cm
-
Bredde:
23.5 cm
Andre bøker i samme serie
Syntax and Semantics of Petri Nets
Gorrieri, Roberto
9781009613286 Innbundet
31.08.2025
Engelsk
Forventes utgitt
Initial Algebras and Terminal Coalgebras : The Theory of Fixed Points of Functors
Adamek, Jiri • Milius, Stefan • Moss, Lawrence S.
9781108835466 Innbundet
06.02.2025
Engelsk
Produseres på bestilling
Topological Duality for Distributive Lattices : Theory and Applications
Gehrke, Mai • van Gool, Sam
9781009349697 Innbundet
07.03.2024
Engelsk
I salg
Finite-State Techniques : Automata, Transducers and Bimachines
Schulz, Klaus U. • Mihov, Stoyan
9781108485418 Innbundet
01.08.2019
Engelsk
I salg
Temporal Logics in Computer Science : Finite-State Systems
Lange, Martin • Goranko, Valentin • Demri, Stephane , Paris)
9781107028364 Innbundet
13.10.2016
Engelsk
I salg
Nominal Sets : Names and Symmetry in Computer Science
Pitts, Andrew M.
9781107017788 Innbundet
30.05.2013
Engelsk
Produseres på bestilling
Process Algebra: Equational Theories of Communicating Processes
Baeten, J. C. M. • Basten, T. • Reniers, M. A.
9780521820493 Innbundet
16.12.2009
Engelsk
Produseres på bestilling
Concurrency Verification : Introduction to Compositional and Non-compositional Methods
Boer, Frank de • Lakhnech, Yassine • Roever, Willem-Paul de • Hanneman, Ulrich • Poel, Mannes • Hooman, Jozef • Zwiers, Job
9780521806084 Innbundet
26.11.2001
Engelsk
Produseres på bestilling