A Theory of Distributed Objects

QR kód

A Theory of Distributed Objects

Uloženo v:

Podrobná bibliografie
Médium:	Kniha
Jazyk:	English
Vydáno:	Springer Berlin Heidelberg 2020
Témata:	Computer Science Theory of Computation Logics and Meanings of Programs
On-line přístup:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81285
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Podobné jednotky

A Practical Theory of Reactive Systems
Vydáno: (2020)

Formal Techniques for Distributed Objects, Components, and Systems
Autor: Bouajjani, Ahmed, a další
Vydáno: (2020)

Abstraction, Reformulation and Approximation
Autor: Zucker, Jean-Daniel, a další
Vydáno: (2020)

Concurrency, Graphs and Models
Autor: Degano, Pierpaolo, a další
Vydáno: (2020)

Advances in Computer Science - ASIAN 2007. Computer and Network Security
Autor: Cervesato, Iliano
Vydáno: (2020)

Integrated Formal Methods
Autor: Davies, Jim, a další
Vydáno: (2020)

Algebra and Coalgebra in Computer Science
Autor: Mossakowski, Till, a další
Vydáno: (2020)

Perspectives of Systems Informatics
Autor: Voronkov, Andrei, a další
Vydáno: (2020)

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
Autor: Okada, Mitsu, a další
Vydáno: (2020)

Algebra and Coalgebra in Computer Science
Autor: Fiadeiro, José Luis, a další
Vydáno: (2020)

Integrated Formal Methods
Autor: Romijn, Judi M.T., a další
Vydáno: (2020)

Foundations of Software Science and Computational Structures
Autor: Amadio, Roberto
Vydáno: (2020)

Computer Aided Verification
Autor: Damm, Werner, a další
Vydáno: (2020)

Verification of Object-Oriented Software. The KeY Approach
Autor: Beckert, Bernhard, a další
Vydáno: (2020)

Computer Science – Theory and Applications
Autor: Fomin, Fedor V., a další
Vydáno: (2020)

Application and Theory of Petri Nets and Concurrency
Autor: Khomenko, Victor, a další
Vydáno: (2020)

Application and Theory of Petri Nets and Concurrency
Autor: Aalst, Wil van der, a další
Vydáno: (2020)

Developments in Language Theory
Autor: Hoshi, Mizuho, a další
Vydáno: (2020)

Dependable Software Engineering. Theories, Tools, and Applications
Autor: Larsen, Kim Guldstrand, a další
Vydáno: (2020)

A First Introduction to Quantum Computing and Information
Autor: Zygelman, Bernard
Vydáno: (2020)

Unifying Theories of Programming
Autor: Bowen, Jonathan P., a další
Vydáno: (2020)

Theory and Applications of Formal Argumentation
Autor: Black, Elizabeth, a další
Vydáno: (2020)

Program Analysis and Compilation, Theory and Practice
Autor: Reps, Thomas, a další
Vydáno: (2020)

Language and Automata Theory and Applications
Autor: Leporati, Alberto, a další
Vydáno: (2020)

Developments in Language Theory
Autor: Hofman, Piotrek, a další
Vydáno: (2020)

Fundamentals of Computation Theory
Vydáno: (2020)

Logic Based Program Synthesis and Transformation
Vydáno: (2020)

Types for Proofs and Programs
Vydáno: (2020)

Algebraic Informatics
Vydáno: (2020)

Computer Aided Systems Theory – EUROCAST 2005
Autor: Moreno-Díaz, Roberto, a další
Vydáno: (2020)

Automated Technology for Verification and Analysis
Vydáno: (2020)

Verified Software. Theories, Tools, and Experiments
Autor: Chakraborty, Supratik, a další
Vydáno: (2020)

Model-Based Testing of Reactive Systems
Vydáno: (2020)

Hardware and Software: Verification and Testing
Autor: Strichman, Ofer, a další
Vydáno: (2020)

Unconventional Computation and Natural Computation
Autor: Patitz, Matthew J., a další
Vydáno: (2020)

Computer Aided Verification
Autor: Chockler, Hana, a další
Vydáno: (2020)

Unconventional Computation and Natural Computation
Autor: Stepney, Susan, a další
Vydáno: (2020)

Hardware and Software: Verification and Testing
Autor: Yorav, Karen
Vydáno: (2020)

Model-Based Safety and Assessment
Autor: Bozzano, Marco, a další
Vydáno: (2020)

Static Analysis
Autor: Ranzato, Francesco
Vydáno: (2020)