Static Analysis

Static Analysis
Author :
Publisher : Springer Science & Business Media
Total Pages : 449
Release :
ISBN-10 : 9783540423140
ISBN-13 : 3540423141
Rating : 4/5 (40 Downloads)
DOWNLOAD EBOOK
Book Synopsis Static Analysis by : Patrick Cousot

Download or read book Static Analysis written by Patrick Cousot and published by Springer Science & Business Media. This book was released on 2001-07-04 with total page 449 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this edited book various novel approaches to problems of current interest in civil engineering are demonstrated. The topics range from dynamic band seismic problems to the analysis of long-span structures and ancient buildings. Experts associated within the Lagrange Laboratory present recent research results on functionally-graded or composite materials, granular materials, geotechnics, as well as frictional or adhesive contact problems.


Static Analysis Related Books

Parallel Logic Programming in PARLOG
Language: en
Pages: 244

Parallel Logic Programming in PARLOG

Authors: Steve Gregory
Categories: Computers
Type: BOOK - Published: 1987 - Publisher: Addison Wesley Publishing Company

DOWNLOAD EBOOK

PARLOG is a logic programming language designed for efficient implementation on parallel machines. It supports a declarative style of programming, combined with
Static Analysis
Language: en
Pages: 449

Static Analysis

Authors: Patrick Cousot
Categories: Computers
Type: BOOK - Published: 2001-07-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

In this edited book various novel approaches to problems of current interest in civil engineering are demonstrated. The topics range from dynamic band seismic p
Logic Program Synthesis and Transformation
Language: en
Pages: 284

Logic Program Synthesis and Transformation

Authors: Maurizio Proietti
Categories: Computers
Type: BOOK - Published: 1996-03-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The
Programming Language Implementation and Logic Programming
Language: en
Pages: 488

Programming Language Implementation and Logic Programming

Authors: Jaan Penjam
Categories: Computers
Type: BOOK - Published: 1994-08-24 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Mad
Logic Programming
Language: en
Pages: 654

Logic Programming

Authors: Danny De Schreye
Categories: Computers
Type: BOOK - Published: 1999-11-08 - Publisher: MIT Press

DOWNLOAD EBOOK

Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and paralleli