Sale!

Formal Techniques for Java Like Programs 1st Edition by Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T Leavens, Arnd Poetzsch Heffter, Elena Zucca ISBN 9783540717744

Name: Formal Techniques for Java Like Programs 1st Edition by Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T Leavens, Arnd Poetzsch Heffter, Elena Zucca ISBN 9783540717744
SKU: EB-11288
Availability: InStock

Original price was: $50.00.Current price is: $35.00.

Authors:Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter; Elena Zucca , Tags:Object-Oriented Technology , Author sort:Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter & Zucca, Elena , Languages:Languages:eng , Comments:Comments:Object-Oriented Technology

SKU: EB-11288 Category: eBook PDF Tags: Arnd Poetzsch Heffter, Atsushi Igarashi, Davide Ancona, Elena Zucca, Gary T Leavens, Programs, Sophia Drossopoulou, Techniques

Description

Formal Techniques for Java-Like Programs 1st Edition by Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T Leavens, Arnd Poetzsch Heffter, Elena Zucca – Ebook PDF Instant Download/Delivery. 9783540717744
Full download Formal Techniques for Java-Like Programs 1st Edition after payment

Product details:

ISBN 10:
ISBN 13: 9783540717744
Author: Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T Leavens, Arnd Poetzsch Heffter, Elena Zucca

The Formal Techniques for Java-like Programs (FTfJP) workshop aims to bring together people working on formal techniques and tool support for Java, or closely related languages such as C# or Scala, either with the aim to describe, analyse, and verify aspects and properties of these programming languages themselves (type systems, semantics, bytecode verification, etc.), or of programs written in these languages.
Java-like languages provide a good platform to bridge the gap between formal techniques and practical program development, because of the reasonably clear semantics and standardised libraries.

In 2002 the name of the workshop was changed slightly – from “Formal Techniques for Java Programs” to “Formal Techniques for Java-like Programs” – to include not just work on Java, but also work on related languages such as C# or Scala.

Formal Techniques for Java-Like Programs 1st Table of contents:

Overview of Java-Like Programs
Formal Methods in Software Engineering
Java-Like Programs and Their Semantics
Type Systems for Java-Like Programs
Program Verification Techniques
Formal Specification Languages for Java-Like Programs
Static Analysis and Formal Methods
Automated Tools for Formal Verification
Case Studies and Applications
Challenges and Limitations
Future Directions

People also search for Formal Techniques for Java-Like Programs 1st:

formal techniques for java-like programs

formal techniques in literature

formal techniques

formal methods programming

effective java programming language guide