Type Systems for Distributed Programs: Components and Sessions

Ornela Dardha

Mathematics and Statistics (R0)

Buy the eBook

Ahorra 10 %Precio de venta: $112.371 CLP.$101.133CLP

Estás en la librería de Chile

¿No estás en Chile? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Ciencias de la computación

Acerca de este libro

Idioma:English
ISBN:9789462392045
Fecha de lanzamiento:28 jul 2016
Editorial:Atlantis Press

Edición:Atlantis Press
Formato de archivo:EPUB2
Tamaño de archivo:4.28 MB
Opciones de descarga:EPUB2 (Adobe DRM)

Lecturas relacionadas

Computation and its Limits

Paul Cockshott, Lewis M. Mackenzie, Gregory Michaelson

$42.433

Quantum Physics, Fuzzy Sets and Logic

Jarosław Pykacz

$56.180

Information and Communication Technologies in Education, Research, and Industrial Applications

Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis

$56.180

Logical Form

Andrea Iacona

$101.133

Analysis and Control of Boolean Networks

Daizhan Cheng, Hongsheng Qi, Zhiqiang Li

$101.133

Formal Aspects of Component Software

José Proença, Markus Lumpe

$56.180

Logic, Language, Information, and Computation

Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira

$44.943

Conceptual Modeling

Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor

$56.180

Descriptive Set Theoretic Methods in Automata Theory

Michał Skrzypczak

$56.180

Software Engineering for Resilient Systems

Ivica Crnkovic, Elena Troubitsyna

$56.180

Reasoning Web. Web Logic Rules

Wolfgang Faber, Adrian Paschke

$56.180

David Makinson on Classical Methods for Non-Classical Problems

Sven Ove Hansson

$157.324

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

$56.180

Lambda Calculus with Types

Henk Barendregt, Wil Dekkers, Richard Statman

$95.796

New Frontiers in Artificial Intelligence

Setsuya Kurahashi, Yuiko Ohta, Sachiyo Arai, Ken Satoh, Daisuke Bekki

$56.180

Multi-Agent Systems

Nils Bulling

$56.180

Critical Systems: Formal Methods and Automated Verification

Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu

$56.180

Information Technology in Bio- and Medical Informatics

M. Elena Renda, Miroslav Bursa, Andreas Holzinger, Sami Khuri

$56.180

Text Analysis Pipelines

Henning Wachsmuth

$56.180

Automated Reasoning with Analytic Tableaux and Related Methods

Cláudia Nalon, Renate A. Schmidt

$73.037

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

$56.180

Cellular Automata and Discrete Complex Systems

Matthew Cook, Turlough Neary

$56.180

Critical Systems: Formal Methods and Automated Verification

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

$56.180

Developments in Language Theory

Émilie Charlier, Julien Leroy, Michel Rigo

$56.180

Automated Reasoning

Nicola Olivetti, Ashish Tiwari

$89.895

Essentials of Constraint Programming

Thom Frühwirth, Slim Abdennadher

$56.180

Industrial Deployment of System Engineering Methods

Alexander Romanovsky, Martyn Thomas

$56.180

Reachability Problems

Matthew Hague, Igor Potapov

$56.180

Epistemology, Context, and Formalism

Franck Lihoreau, Manuel Rebuschi

$101.133

Unconventional Computation and Natural Computation

Martyn Amos, Anne Condon

$56.180

Fundamental Approaches to Software Engineering

Perdita Stevens, Andrzej Wąsowski

$56.180

Verified Software: Theories, Tools and Experiments

Dimitra Giannakopoulou, Daniel Kroening

$52.809

Logic Programming and Nonmonotonic Reasoning

Marcello Balduccini, Tomi Janhunen

$56.180

Logic and Its Applications

Sujata Ghosh, Sanjiva Prasad

$56.180

Rule Technologies. Research, Tools, and Applications

Jose Julio Alferes, Guido Governatori, Paul Fodor, Dumitru Roman, Leopoldo Bertossi

$101.133

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV

Roland Wagner, Josef Küng, Hendrik Decker, Abdelkader Hameurlain

$56.180

Knowledge Engineering and Knowledge Management

Paolo Ciancarini, Francesco Poggi, Matthew Horridge, Jun Zhao, Tudor Groza, Mari Carmen Suarez-Figueroa, Mathieu d'Aquin, Valentina Presutti

$56.180

Dependable Software Engineering. Theories, Tools, and Applications

Ji Wang, Kim Guldstrand Larsen, Oleg Sokolsky

$56.180

Trends in Functional Programming

Manuel Serrano, Jurriaan Hage

$44.943

Provably Correct Systems

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog

$101.133

Effective Mathematics of the Uncountable

Noam Greenberg, Denis Hirschfeldt, Joel David Hamkins, Russell Miller

$139.739

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

$56.180

Semantic Technology

Zhe Wang, Anni-Yasmin Turhan, Kewen Wang, Xiaowang Zhang

$56.180

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Thierry Lecomte, Ralf Pinger, Alexander Romanovsky

$56.180

Logic, Mathematics, and Computer Science

Yves Nievergelt

$52.809

Frontiers of Combining Systems

Clare Dixon, Marcelo Finger

$73.037

Reasoning and Unification over Conceptual Graphs

Dan Corbett

$101.133

Combinatorics on Words

Srečko Brlek, Francesco Dolce, Christophe Reutenauer, Élise Vandomme

$56.180

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

$56.180

Ver más por autor

Coordination Models and Languages

Ferruccio Damiani, Ornela Dardha

$56.180

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de Chile.

Type Systems for Distributed Programs: Components and Sessions

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Detalles de accesibilidad

Cómo leer

Lecturas relacionadas

Computation and its Limits

Quantum Physics, Fuzzy Sets and Logic

Information and Communication Technologies in Education, Research, and Industrial Applications

Logical Form

Analysis and Control of Boolean Networks

Formal Aspects of Component Software

Logic, Language, Information, and Computation

Conceptual Modeling

Descriptive Set Theoretic Methods in Automata Theory

Software Engineering for Resilient Systems

Reasoning Web. Web Logic Rules

David Makinson on Classical Methods for Non-Classical Problems

Computer Aided Verification

Lambda Calculus with Types

New Frontiers in Artificial Intelligence

Multi-Agent Systems

Critical Systems: Formal Methods and Automated Verification

Information Technology in Bio- and Medical Informatics

Text Analysis Pipelines

Automated Reasoning with Analytic Tableaux and Related Methods

Logic-Based Program Synthesis and Transformation

Cellular Automata and Discrete Complex Systems

Critical Systems: Formal Methods and Automated Verification

Developments in Language Theory

Automated Reasoning

Essentials of Constraint Programming

Industrial Deployment of System Engineering Methods

Reachability Problems

Epistemology, Context, and Formalism

Unconventional Computation and Natural Computation

Fundamental Approaches to Software Engineering

Verified Software: Theories, Tools and Experiments

Logic Programming and Nonmonotonic Reasoning

Logic and Its Applications

Rule Technologies. Research, Tools, and Applications

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV

Knowledge Engineering and Knowledge Management

Dependable Software Engineering. Theories, Tools, and Applications

Trends in Functional Programming

Provably Correct Systems

Effective Mathematics of the Uncountable

Tools and Algorithms for the Construction and Analysis of Systems

Semantic Technology

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Logic, Mathematics, and Computer Science

Frontiers of Combining Systems

Reasoning and Unification over Conceptual Graphs

Combinatorics on Words

Verification, Model Checking, and Abstract Interpretation

Ver más por autor

Coordination Models and Languages

¿Te ha gustado el libro?

eBooks

Audiolibros

¿Por qué leer con nosotros?

Lecturas relacionadas

Computation and its Limits

Quantum Physics, Fuzzy Sets and Logic

Information and Communication Technologies in Education, Research, and Industrial Applications

Logical Form

Analysis and Control of Boolean Networks

Formal Aspects of Component Software

Logic, Language, Information, and Computation

Conceptual Modeling

Descriptive Set Theoretic Methods in Automata Theory

Software Engineering for Resilient Systems

Reasoning Web. Web Logic Rules

David Makinson on Classical Methods for Non-Classical Problems

Computer Aided Verification

Lambda Calculus with Types

New Frontiers in Artificial Intelligence