Concurrency, Graphs and Models
Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
AvJose Meseguer,Rocco de Nicola
E-bok
PDF, Engelska, 20081 408 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
All About Maude - A High-Performance Logical Framework
Carolyn Talcott, Jose Meseguer, Narciso Marti-Oliet, Patrick Lincoln, Steven Eker, Francisco Duran, Manuel Clavel
E-bok
20071 250 kr
Protocols, Strands, and Logic
Paul Rowe, Sebastian Alexander Modersheim, Jose Meseguer, Daniel Dougherty
E-bok
20211 022 kr
Foundations of Security, Protocols, and Equational Reasoning
Dusko Pavlovic, Jose Meseguer, Carl E. Landwehr, Joshua D. Guttman
E-bok
2019708 kr
Formal Modeling: Actors; Open Systems, Biological Systems
Jose Meseguer, Olivier Danvy, Gul Agha
E-bok
2011708 kr
Del 16120
Concurrent Programming, Open Systems and Formal Methods
Jose Meseguer, Carlos A. Varela, Nalini Venkatasubramanian
Häftad, 2025
910 kr
Algebra, Meaning, and Computation
Jose Meseguer, Jean-Pierre Jouannaud, Kokichi Futatsugi
E-bok
20061 408 kr
Concurrent Programming, Open Systems and Formal Methods
Nalini Venkatasubramanian, Carlos A. Varela, Jose Meseguer
E-bok
20251 111 kr