Concurrency, compositionality, and correctness : Essays in Honor of Willem-Paul de Roever /

Código QR

Concurrency, compositionality, and correctness : Essays in Honor of Willem-Paul de Roever /

Detalles Bibliográficos
Formato:	Libro
Lenguaje:	English
Publicado:	c2010.
Acceso en línea:	Ver documento en línea

Ejemplares similares

Concurrent conceptual design and materials selection of natural fiber composite products /
Publicado: (2018)

Correct reasoning : essays on logic-based AI in honor of Vladimir Lifschitz /
Publicado: (2012)

Akka concurrency /
por: Wyatt, Derek
Publicado: (2013)

Principles of concurrent programming /
por: Ben, Ari M. n. 1948, et al.
Publicado: (1982)

Constraints meet concurrency /
Publicado: (2014)

Concurrent urbanities : designing infrastructures of inclusion /
Publicado: (2016)

Concurrent engineering what´s working where
Publicado: (1996)

Concurrency, graphs and models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
Publicado: (2008)

Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday /
Publicado: (2017)

Concurrency, security, and puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday /
Publicado: (2017)

Le livre concurrencé: 1900-1950 /

Java Threads and the Concurrency Utilities
por: FRIESEN, JEFF.
Publicado: (2015)

New Methods of Concurrent Checking
por: Gössel, Michael., et al.
Publicado: (2008)

Principles of concurrent and distributed programming /
por: Ben-Ari, Mordechai, et al.
Publicado: (2006)

Concurrence et marche commun /
por: Houssiaux, Jacques R., et al.
Publicado: (1960)

The corrections /
por: Franzem, Jonathan
Publicado: (2001)

Plant Tolerance to Individual and Concurrent Stresses /
Publicado: (2017)

Concurrent programming: algorithms, principles, and foundations /
Publicado: (2013)

Droit public de la concurrence /
Publicado: (1987)

Aplique el concurrent PC DOS
por: Dahmke, Mark
Publicado: (1988)

Aplique el Concurrent PC DOS /
Publicado: (1988)

Application and theory of petri nets and concurrency : proceedings /
Publicado: (2017)

Concurrent aerobic and strength training : Scientific Basics and Practical Applications /
Publicado: (2019)

Concurrent objects and beyond : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday /
Publicado: (2014)

Neural and concurrent real-time systems : the sixth generation. --
por: Soucek, Branko, et al.
Publicado: (1989)

Mistakes and correction
por: Edge, Julian, 1948-
Publicado: (1989)

cancer correctal
por: Neira Cuadra, Jorge Isaac
Publicado: (1991)

Mistakes and Correction
por: Edge, Julian
Publicado: (1990)

Concurrent engineering in the 21st century : Foundations, Developments and Challenges /
Publicado: (2015)

New World Situation: New Directions in Concurrent Engineering : Proceedings of the 17th ISPE International Conference on Concurrent Engineering /
Publicado: (2010)

Speech Correction : Principles and Methods
por: Van Riper, Charles
Publicado: (1954)

Gene Correction : Methods and Protocols /
Publicado: (2014)

Speech correction : principles and methods.
por: Van Riper, Charles 1905-1994, et al.
Publicado: (1953)

Transactions on Petri Nets and Other Models of Concurrency XII /
Publicado: (2017)

Concurrency control in distributed system using mutual exclusion /
Publicado: (2018)

Quatorzieme rapport sur la politique de concurrence /

Provably Correct Systems /
Publicado: (2017)

The science of correct thinking /
por: Bittle, Celestine Nicholas Charles n. 1884, et al.
Publicado: (1935)

Error correction mechanisms /
por: Salmon, Mark Howard 1949-
Publicado: (1982)

Speech correction in the schools /
por: Black, Martha E., et al.
Publicado: (1964)