Computer Logic

Design Principles and Applications

John Y. Hsu

Computer Science (R0)

Comprar el eBook

Ahorra 10 %Precio de venta: $60.745 CLP.$54.670CLP

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 Regala un libro

¿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

Acerca de este libro

Idioma:English
ISBN:9781461300472
Fecha de lanzamiento:23 abr 2015
Editorial:Springer New York

Edición:Springer
Formato de archivo:EPUB2
Tamaño de archivo:7.19 MB
Opciones de descarga:EPUB2 (Adobe DRM)

Lecturas relacionadas

Harley Hahn's Emacs Field Guide

Harley Hahn

$68.473

Scala: From a Functional Programming Perspective

Vicenç Torra

$54.670

Computer Aided Verification

Daniel Kroening, Corina S. Păsăreanu

$54.670

Beginning Julia Programming

Sandeep Nagar

$81.760

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

$54.670

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

$54.670

Computer Aided Verification

Daniel Kroening, Corina S. Păsăreanu

$54.670

Dynamic Logic. New Trends and Applications

Alexandre Madeira, Mário Benevides

$54.670

Applied Logic for Computer Scientists

Mauricio Ayala-Rincón, Flávio L. C. de Moura

$49.203

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

$54.670

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Sébastien Destercke, Thierry Denoeux

$54.670

Logic and Its Applications

Sujata Ghosh, Sanjiva Prasad

$54.670

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

Thierry Lecomte, Ralf Pinger, Alexander Romanovsky

$54.670

Information Security

Yvo Desmedt

$54.670

Logic, Rewriting, and Concurrency

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott

$54.670

Software Engineering for Resilient Systems

Ivica Crnkovic, Elena Troubitsyna

$54.670

Business Process Management

Josep Carmona, Gregor Engels, Akhil Kumar

$54.670

Fundamental Approaches to Software Engineering

Marieke Huisman, Julia Rubin

$54.670

Critical Systems: Formal Methods and Automated Verification

Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu

$54.670

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Serena Villata, Ana Bazzan, João Leite, Leendert van der Torre, Bo An

$54.670

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

$54.670

Critical Systems: Formal Methods and Automated Verification

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

$54.670

Essentials of Constraint Programming

Thom Frühwirth, Slim Abdennadher

$54.670

Logic Programming and Nonmonotonic Reasoning

Marcello Balduccini, Tomi Janhunen

$54.670

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Tiziana Margaria, Bernhard Steffen

$98.417

Graph Transformation

Francesco Parisi-Presicce, Bernhard Westfechtel

$51.390

Semantics, Logics, and Calculi

Christian W. Probst, Chris Hankin, René Rydhof Hansen

$54.670

Semantics of Probabilistic Processes

Yuxin Deng

$54.670

Unconventional Computation and Natural Computation

Martyn Amos, Anne Condon

$54.670

Descriptive Set Theoretic Methods in Automata Theory

Michał Skrzypczak

$54.670

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

$54.670

Expanding Your Raspberry Pi

Mark Edward Soper

$48.032

Mathematics in Computing

Gerard O’Regan

$65.607

Intelligent Computer Mathematics

Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa

$43.734

Graph Transformation

Rachid Echahed, Mark Minas

$54.670

Computer Safety, Reliability, and Security

Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch

$54.670

Combinatorics on Words

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

$54.670

Scalable Uncertainty Management

Serafín Moral, Olivier Pivert, Daniel Sánchez, Nicolás Marín

$54.670

Formal Methods: Foundations and Applications

Thierry Lecomte, Leila Ribeiro

$54.670

Application and Theory of Petri Nets and Concurrency

Wil van der Aalst, Eike Best

$54.670

Software Engineering and Formal Methods

Rocco De Nicola, Eva Kühn

$59.781

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Alessandro Antonucci, Laurence Cholvy, Odile Papini

$54.670

Formal Aspects of Component Software

Zhiming Liu, Jinyun Xue, José Luiz Fiadeiro

$54.670

Implementation and Application of Automata

Yo-Sub Han, Kai Salomaa

$54.670

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

$54.670

Verified Software. Theories, Tools, and Experiments

Sandrine Blazy, Marsha Chechik

$54.670

Agents and Artificial Intelligence

Joaquim Filipe, Jaap van den Herik

$54.670

Computer Science – Theory and Applications

Pascal Weil

$54.670

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

$54.670

Ver más por autor

Computer Architecture

John Y. Hsu

$80.446

¿Te ha gustado el libro?

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

Esta es nuestra librería de Chile.

Computer Logic

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Detalles de accesibilidad

Cómo leer

Lecturas relacionadas

Harley Hahn's Emacs Field Guide

Scala: From a Functional Programming Perspective

Computer Aided Verification

Beginning Julia Programming

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Dynamic Logic. New Trends and Applications

Applied Logic for Computer Scientists

Interactive Theorem Proving

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Logic and Its Applications

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

Information Security

Logic, Rewriting, and Concurrency

Software Engineering for Resilient Systems

Business Process Management

Fundamental Approaches to Software Engineering

Critical Systems: Formal Methods and Automated Verification

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Unifying Theories of Programming

Critical Systems: Formal Methods and Automated Verification

Essentials of Constraint Programming

Logic Programming and Nonmonotonic Reasoning

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Graph Transformation

Semantics, Logics, and Calculi

Semantics of Probabilistic Processes

Unconventional Computation and Natural Computation

Descriptive Set Theoretic Methods in Automata Theory

Theoretical Aspects of Computing - ICTAC 2015

Expanding Your Raspberry Pi

Mathematics in Computing

Intelligent Computer Mathematics

Graph Transformation

Computer Safety, Reliability, and Security

Combinatorics on Words

Scalable Uncertainty Management

Formal Methods: Foundations and Applications

Application and Theory of Petri Nets and Concurrency

Software Engineering and Formal Methods

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Formal Aspects of Component Software

Implementation and Application of Automata

Inductive Logic Programming

Verified Software. Theories, Tools, and Experiments

Agents and Artificial Intelligence

Computer Science – Theory and Applications

Computer Aided Verification

Ver más por autor

Computer Architecture

¿Te ha gustado el libro?

eBooks

Audiolibros

¿Por qué leer con nosotros?

Ver más por autor

Computer Architecture

¿Te ha gustado el libro?

Últimas publicaciones del blog

Lecturas relacionadas

Harley Hahn's Emacs Field Guide

Scala: From a Functional Programming Perspective

Computer Aided Verification

Beginning Julia Programming

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Dynamic Logic. New Trends and Applications

Applied Logic for Computer Scientists

Interactive Theorem Proving

Symbolic and Quantitative Approaches to Reasoning with Uncertainty