Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
  Our Catalog   Languages & Tools   Compilers

Deductive Software Verification – The KeY Book: From Theory to Practice (Lecture Notes in Computer Science)


Mega Sale! Free Shipping Included! Save 21% on the Deductive Software Verification – The KeY Book: From Theory to Practice (Lecture Notes in Computer Science) by Springer at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. Static analysis of software with deductive methods is a highly dynamic fieldof research on the verge of becoming a mainstream technology in


Product Description

Static analysis of software with deductive methods is a highly dynamic field

of research on the verge of becoming a mainstream technology in software

engineering. It consists of a large portfolio of - mostly fully automated -

analyses: formal verification, test generation, security analysis,

visualization, and debugging. All of them are realized in the state-of-art

deductive verification framework KeY.


This book is the definitive guide to KeY that lets you explore the full

potential of deductive software verification in practice. It contains the

complete theory behind KeY for active researchers who want to understand it in

depth or use it in their own work. But the book also features fully

self-contained chapters on the Java Modeling Language and on Using KeY that

require nothing else than familiarity with Java. All other chapters are

accessible for graduate students (M.Sc. level and beyond).<

<

The KeY framework is free and open software, downloadable from the book

companion website which contains also all code examples mentioned in this

book.


Additional Information

Manufacturer:Springer
Publisher:Springer
Studio:Springer
EAN:9783319498119
Item Size:1.66 x 9.25 x 9.25 inches
Package Weight:2.69 pounds
Package Size:6.14 x 1.81 x 1.81 inches

Deductive Software Verification – The KeY Book: From Theory to Practice (Lecture Notes in Computer Science) by Springer

Buy Now:
Deductive Software Verification – The KeY Book: From Theory to Practice (Lecture Notes in Computer Science)

Brand: Springer
4.9 out of 5 stars with 45 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$131.00
$103.95
You Save: 21%


Quantity:  

 


View More In Compilers.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


By Brand: Springer
ean: 9780792397700, isbn: 0792397703,
Both object orientation and parallelism are modern programming paradigms which have gained much popularity in the last 10-15 years. Object orientation raises hopes for increased productivity of software generation and maintenance methods. Parallelism...

By Brand: Springer
ean: 9781461395775, isbn: 1461395771,
The programming language SETL is a relatively new member of the so-called "very-high-level" class of languages, some of whose other well-known mem­ bers are LISP, APL, SNOBOL, and PROLOG. These languages all aim to reduce the cost of programming, re...

By Prentice Hall
ean: 9780138380120, isbn: 0138380120,
Prentice Hall's most important C programming title in years. A companion volume to Kernighan & Ritchie's C PROGRAMMING LANGUAGE. A collection of reusable functions (code for building data structures, code for performing math functions and scienti...

By Michael Mintz
ean: 9780767411318, isbn: 0387255435,
Describes a small verification library with a concentration on user adaptability such as re-useable components, portable Intellectual Property, and co-verification.Takes a realistic view of reusability and distills lessons learned down to a tool box ...

By Brand: Springer
ean: 9783540669388, isbn: 3540669388,
MMIX is a RISC computer designed by Don Knuth to illustrate machine-level aspects of programming. In the author's book series "The Art of Computer Programming", MMIX replaces the 1960s-style machine MIX. A particular goal in the design of MMIX was to...

By Springer
ean: 9780387969152, isbn: 0387969152,
This book is an introduction to NeWS: the Networked, Extensible, Window System from Sun Microsystems. It is oriented towards people who have a basic knowledge of programming and window systems who would like to understand more about window systems in...

By Brand: CRC Press
ean: 9780849328800, isbn: 0849328802,
Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it to produce performance-maximizing code, and software...

By Brand: Birkhäuser
sku: 9780817647049, mpn: 26030621, ean: 9780817647049, isbn: 081764704X,
Floating-point arithmetic is the most widely used way of implementing real-number arithmetic on modern computers. However, making such an arithmetic reliable and portable, yet fast, is a very difficult task. As a result, floating-point arithmetic is ...

By Dexter Kozen
mpn: 1, ean: 9783540223801, isbn: 3540223800,
This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction. This series of c- ferences aims to promote the development of mathematical principles and te- niquesthataredemonstrably...

By Springer
sku: 9780387255385, ean: 9780156060899, isbn: 0387255389,
Offers users the first resource guide that combines both the methodology and basics of SystemVerilog Addresses how all these pieces fit together and how they should be used to verify complex chips rapidly and thoroughly. Unique in its broad covera...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.