Computer Logic

Design Principles and Applications

John Y. Hsu

Computer Science (R0)

Kjøp e-boken

Ahorra 10 %Precio de venta: $62.423 CLP.$56.180CLP

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

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

OPC Unified Architecture

Wolfgang Mahnke, Stefan-Helmut Leitner, Matthias Damm

$67.418

Scala: From a Functional Programming Perspective

Vicenç Torra

$56.180

Computer Aided Verification

Daniel Kroening, Corina S. Păsăreanu

$56.180

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

$56.180

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

$56.180

Computer Aided Verification

Daniel Kroening, Corina S. Păsăreanu

$56.180

Applied Logic for Computer Scientists

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

$50.561

Dynamic Logic. New Trends and Applications

Alexandre Madeira, Mário Benevides

$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

Measurement, Modelling and Evaluation of Computing Systems

Reinhard German, Kai-Steffen Hielscher, Udo R. Krieger

$56.180

Model Checking Software

Dragan Bošnački, Anton Wijs

$56.180

Leveraging Applications of Formal Methods, Verification, and Validation

Anna-Lena Lamprecht

$56.180

Information Security

Yvo Desmedt

$56.180

Implementation and Application of Automata

Arnaud Carayol, Cyril Nicaud

$56.180

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler, Miklos Biro, Klaus-Dieter Schewe, Atif Mashkoor

$56.180

Inductive Logic Programming

James Cussens, Alessandra Russo

$56.180

Interactive Theorem Proving

Mauricio Ayala-Rincón, César A. Muñoz

$56.180

Fundamental Approaches to Software Engineering

Marieke Huisman, Julia Rubin

$56.180

Introduction to Scilab

Sandeep Nagar

$49.358

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

$56.180

Static Analysis

Francesco Ranzato

$56.180

Model-Based Safety and Assessment

Marco Bozzano, Yiannis Papadopoulos

$56.180

Engineering Multi-Agent Systems

Matteo Baldoni, Jörg P. Müller, Ingrid Nunes, Rym Zalila-Wenkstern

$56.180

Implementation and Application of Functional Languages

Ralf Hinze

$50.561

Rule Technologies. Research, Tools, and Applications

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

$101.133

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

$56.180

Inductive Logic Programming

Jesse Davis, Jan Ramon

$52.809

Language and Automata Theory and Applications

Frank Drewes, Carlos Martín-Vide, Bianca Truthe

$56.180

Interactive Theorem Proving

Stephan Merz, Jasmin Christian Blanchette

$56.180

Semantics, Logics, and Calculi

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

$56.180

Semantics of Probabilistic Processes

Yuxin Deng

$56.180

Unconventional Computation and Natural Computation

Martyn Amos, Anne Condon

$56.180

Beginning Microsoft Kinect for Windows SDK 2.0

Mansib Rahman

$55.653

Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

$56.180

Expanding Your Raspberry Pi

Mark Edward Soper

$49.358

Intelligent Computer Mathematics

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

$44.943

Graph Transformation

Rachid Echahed, Mark Minas

$56.180

Combinatorics on Words

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

$56.180

FME 2003: Formal Methods

Keijiro Araki, Stefania Gnesi, Dion Mandrioli

$101.133

Application and Theory of Petri Nets and Concurrency

Wil van der Aalst, Eike Best

$56.180

Introduction to Software Quality

Gerard O’Regan

$50.561

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Alessandro Antonucci, Laurence Cholvy, Odile Papini

$56.180

Theoretical Computer Science

Kun He, Lian Li, Dingzhu Du, En Zhu

$56.180

Implementation and Application of Automata

Yo-Sub Han, Kai Salomaa

$56.180

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

$56.180

Verified Software. Theories, Tools, and Experiments

Sandrine Blazy, Marsha Chechik

$56.180

Computer Science – Theory and Applications

Pascal Weil

$56.180

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

$56.180

Ver más por autor

Computer Architecture

John Y. Hsu

$83.588

¿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

OPC Unified Architecture

Scala: From a Functional Programming Perspective

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Applied Logic for Computer Scientists

Dynamic Logic. New Trends and Applications

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

Measurement, Modelling and Evaluation of Computing Systems

Model Checking Software

Leveraging Applications of Formal Methods, Verification, and Validation

Information Security

Implementation and Application of Automata

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Inductive Logic Programming

Interactive Theorem Proving

Fundamental Approaches to Software Engineering

Introduction to Scilab

Unifying Theories of Programming

Static Analysis

Model-Based Safety and Assessment

Engineering Multi-Agent Systems

Implementation and Application of Functional Languages

Rule Technologies. Research, Tools, and Applications

Formal Methods and Software Engineering

Inductive Logic Programming

Language and Automata Theory and Applications

Interactive Theorem Proving

Semantics, Logics, and Calculi

Semantics of Probabilistic Processes

Unconventional Computation and Natural Computation

Beginning Microsoft Kinect for Windows SDK 2.0

Formal Modeling and Analysis of Timed Systems

Expanding Your Raspberry Pi

Intelligent Computer Mathematics

Graph Transformation

Combinatorics on Words

FME 2003: Formal Methods

Application and Theory of Petri Nets and Concurrency

Introduction to Software Quality

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Theoretical Computer Science

Implementation and Application of Automata

Inductive Logic Programming

Verified Software. Theories, Tools, and Experiments

Computer Science – Theory and Applications

Theoretical Aspects of Computing - ICTAC 2015

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

OPC Unified Architecture

Scala: From a Functional Programming Perspective

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Applied Logic for Computer Scientists

Dynamic Logic. New Trends and Applications

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

Measurement, Modelling and Evaluation of Computing Systems

Model Checking Software

Leveraging Applications of Formal Methods, Verification, and Validation