Algebraic Specification of Communication Protocols
Produseres på bestilling
Leveringstid: 3-10 dager
Handlinger
Beskrivelse
Omtale
In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols.
-
Utgivelsesdato:
11.12.2008
-
ISBN/Varenr:
9780521088121
-
Språk:
Engelsk
-
Forlag:
Cambridge University Press
-
Innbinding:
Heftet
-
Fagtema:
Data- og informasjonsteknologi
-
Serie:
Cambridge Tracts in Theoretical Computer Science
-
Litteraturtype:
Faglitteratur
-
Sider:
212
-
Høyde:
17.1 cm
-
Bredde:
24.4 cm
Andre bøker i samme serie
Nonmonotonic Reasoning : Logical Foundations of Commonsense
Brewka, Gerhard
9780521181303 Heftet
29.03.2012
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
9780521169325 Heftet
26.01.2012
Engelsk
Produseres på bestilling
Hybrid Graph Theory and Network Analysis
Gibbons, Alan • Novak, Ladislav
9780521106597 Heftet
03.09.2009
Engelsk
Produseres på bestilling
Design Theory and Computer Science
Dasgupta, Subrata
9780521118156 Heftet
06.08.2009
Engelsk
Produseres på bestilling
A Unifying Framework for Structured Analysis and Design Models : An Approach Using Initial Algebra Semantics and Category Theory
Tse, T. H.
9780521117876 Heftet
30.07.2009
Engelsk
Produseres på bestilling
The Clausal Theory of Types
Wolfram, D. A.
9780521117906 Heftet
30.07.2009
Engelsk
Produseres på bestilling
Higher Order Logic and Hardware Verification
Melham, T. F.
9780521115322 Heftet
02.07.2009
Engelsk
Produseres på bestilling
Lambda-calculus, Combinators and Functional Programming
Revesz, G. E.
9780521114295 Heftet
25.06.2009
Engelsk
Produseres på bestilling
Data Refinement : Model-Oriented Proof Methods and their Comparison
Engelhardt, Kai • de Roever, Willem-Paul
9780521103503 Heftet
18.12.2008
Engelsk
Produseres på bestilling