Software Verification and Analysis

An Integrated, Hands-On Approach

Janusz Laski,William Stanley

Computer Science (R0)

Comprar el eBook

Ahorra 10 %Precio de venta: $1,010.00 MXN.$909.00MXN

Estás en la librería de México

¿No estás en México? 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:9781848822405
Fecha de lanzamiento:26 jul 2013
Editorial:Springer London

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

Lecturas relacionadas

Structured Parallel Programming

Michael McCool, James Reinders, Arch Robison

$717.00

Elements of Programming

Paul McJones, Alexander Stepanov

$459.00

Art of Computer Programming, Volume 1, Fascicle 1, The

Donald Knuth

$472.00

A Cryptography Primer

Philip N. Klein

$591.00

Modern Compiler Implementation in Java

Andrew W. Appel, Jens Palsberg

$1,631.00

The Art of Multiprocessor Programming, Revised Reprint

Maurice Herlihy, Nir Shavit

$885.00

Mastering Algorithms with Perl

Jarkko Hietaniemi, John Macdonald, Jon Orwant

$307.00

Introduction to Compiler Design

Torben Ægidius Mogensen

$600.00

Why Programs Fail

Andreas Zeller

$765.00

Software Abstractions: Logic, Language, and Analysis

Daniel Jackson

$726.00

Modeling in Event-B

Jean-Raymond Abrial

$2,517.00

How to Think About Algorithms

Jeff Edmonds

$886.00

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

$1,462.00

FORTRAN 90 for Scientists and Engineers

Brian H. Hahn

$873.00

Systematic Program Design

Yanhong Annie Liu

$816.00

Formal Development of a Network-Centric RTOS

Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev

$1,818.00

Readings in Artificial Intelligence and Software Engineering

Charles Rich, Richard C. Waters

$1,124.00

Concurrent Programming: Algorithms, Principles, and Foundations

Michel Raynal

$1,454.00

The New Relational Database Dictionary

C.J. Date

$260.00

Introduction to Cryptography with Maple

José Luis Gómez Pardo

$909.00

Big Data Integration Theory

Zoran Majkić

$909.00

Modern Cryptography: Applied Mathematics for Encryption and Information Security

Chuck Easttom

$667.00

Introduction to HPC with MPI for Data Science

Frank Nielsen

$727.00

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

$909.00

Schaum's Outline of Data Structures with Java, 2ed

John R. Hubbard

$395.00

Modern Cryptography Primer

Czesław Kościelny, Mirosław Kurkowski, Marian Srebrny

$909.00

Markov Logic

Pedro Domingos, Daniel Lowd, Ronald Brachman, William W. Cohen, Peter Stone

$592.00

Heuristic Search

Stefan Edelkamp, Stefan Schroedl

$1,076.00

SQL Essentials

Mark McIlroy

Gratis

Compiler Design

Helmut Seidl, Reinhard Wilhelm, Sebastian Hack

$1,273.00

Arduino Uno: A Hands-On Guide for Beginner

Agus Kurniawan

$37.00

Compiler Design

Reinhard Wilhelm, Helmut Seidl, Sebastian Hack

$1,036.00

The New Community Rules

Tamar Weinberg

$206.00

Specification of Software Systems

V.S. Alagar, K. Periyasamy

$909.00

C# 4.0 The Complete Reference

Herbert Schildt

$803.00

Static Analysis

Sandrine Blazy, Thomas Jensen

$909.00

Programming Languages and Systems

Xinyu Feng, Sungwoo Park

$909.00

Beginning Xcode: Swift Edition

Matthew Knott

$545.00

21st Century C

Ben Klemens

$327.00

Arduino Development for OSX and iOS

Agus Kurniawan

$56.00

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

$854.00

Free as in Freedom [Paperback]

Sam Williams

$197.00

Clustering and Information Retrieval

S. Shekhar, Hui Xiong, Weili Wu

$2,545.00

Functional and Logic Programming

Andy King, Oleg Kiselyov

$854.00

Verified Software: Theories, Tools, and Experiments

Arie Gurfinkel, Sanjit A. Seshia

$909.00

Implementing Domain-Specific Languages with Xtext and Xtend

Lorenzo Bettini

$753.00

o Gratis con Kobo Plus

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

$727.00

Python Network Programming Cookbook

Dr. M. O. Faruque Sarker

$511.00

The Correctness-by-Construction Approach to Programming

Bruce W. Watson, Derrick G. Kourie

$1,636.00

Learning Spring Boot 2.0

Greg L. Turnquist

$753.00

o Gratis con Kobo Plus

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

$909.00

Raspberry Pi: 22 Interesting Hacks for Absolute Beginners With a Raspberry Pi

Jake Fleming

$119.00

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

$727.00

Learning Game AI Programming with Lua

David Young

$698.00

o Gratis con Kobo Plus

FoxTales

Kerry Nietz

$99.00

Map Framework

Markus Schneider, Mark McKenney

$1,636.00

¿Te ha gustado el libro?

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

Esta es nuestra librería de México.

Software Verification and Analysis

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

Structured Parallel Programming

Elements of Programming

Art of Computer Programming, Volume 1, Fascicle 1, The

A Cryptography Primer

Modern Compiler Implementation in Java

The Art of Multiprocessor Programming, Revised Reprint

Mastering Algorithms with Perl

Introduction to Compiler Design

Why Programs Fail

Software Abstractions: Logic, Language, and Analysis

Modeling in Event-B

How to Think About Algorithms

The Functional Approach to Programming

FORTRAN 90 for Scientists and Engineers

Systematic Program Design

Formal Development of a Network-Centric RTOS

Readings in Artificial Intelligence and Software Engineering

Concurrent Programming: Algorithms, Principles, and Foundations

The New Relational Database Dictionary

Introduction to Cryptography with Maple

Big Data Integration Theory

Modern Cryptography: Applied Mathematics for Encryption and Information Security

Introduction to HPC with MPI for Data Science

Bridging Constraint Satisfaction and Boolean Satisfiability

Schaum's Outline of Data Structures with Java, 2ed

Modern Cryptography Primer

Markov Logic

Heuristic Search

SQL Essentials

Compiler Design

Arduino Uno: A Hands-On Guide for Beginner

Compiler Design

The New Community Rules

Specification of Software Systems

C# 4.0 The Complete Reference

Static Analysis

Programming Languages and Systems

Beginning Xcode: Swift Edition

21st Century C

Arduino Development for OSX and iOS

Declarative Programming and Knowledge Management

Free as in Freedom [Paperback]

Clustering and Information Retrieval

Functional and Logic Programming

Verified Software: Theories, Tools, and Experiments

Implementing Domain-Specific Languages with Xtext and Xtend

Practical Aspects of Declarative Languages

Python Network Programming Cookbook

The Correctness-by-Construction Approach to Programming

Learning Spring Boot 2.0

Logic-Based Program Synthesis and Transformation

Raspberry Pi: 22 Interesting Hacks for Absolute Beginners With a Raspberry Pi

Trustworthy Global Computing

Learning Game AI Programming with Lua

FoxTales

Map Framework

¿Te ha gustado el libro?

eBooks

Audiolibros

¿Por qué leer con nosotros?

¿Te ha gustado el libro?

Últimas publicaciones del blog

Lecturas relacionadas

Structured Parallel Programming

Elements of Programming

Art of Computer Programming, Volume 1, Fascicle 1, The

A Cryptography Primer

Modern Compiler Implementation in Java

The Art of Multiprocessor Programming, Revised Reprint

Mastering Algorithms with Perl

Introduction to Compiler Design

Why Programs Fail