fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Programming languages and systems

Programming languages and systems

by APLAS 2008 (2008 Bangalore, India)

BisimulationProgrammverifikationKongressProgramming languages (Electronic computers)Java <Programmiersprache>
0.0
Open Library
Open Library

Themes & subjects

BisimulationProgrammverifikationKongressProgramming languages (Electronic computers)Java <Programmiersprache>Congresses

Setting

Bangalore <2008>

Author

APLAS 2008 (2008 Bangalore, India)

Pages

341

Read time

≈ 9h

Editions

1

Language

English

Publisher

Springer

ISBN

9783540893295

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

COMPUTERS / Networking / General · Computer science

Advanced topics in bisimulation and coinduction

Davide Sangiorgi

2011

An introduction to bisimulation and coinduction

COMPUTERS / Networking / General · Computer science

An introduction to bisimulation and coinduction

Davide Sangiorgi

2011

The design of well-structured and correct programs

Computer programming · Pascal (Computer program language)

The design of well-structured and correct programs

Suad Alagić

1978

Verification, model checking, and abstract interpretation

Computer programs · Congresses

Verification, model checking, and abstract interpretation

VMCAI 2004 (2004 Venice, Italy)

2004

Verification of sequential and concurrent programs

Verification · Computer software

Verification of sequential and concurrent programs

Krzysztof R. Apt

1991

Programming Languages and Systems

Logic design · Software engineering

Programming Languages and Systems

Zhenjiang Hu

2009

A survey of verification techniques for parallel programs

Parallel processing (Electronic computers) · Verification

A survey of verification techniques for parallel programs

Howard Barringer

1985

Constructing correct software

Development · Computer software

Constructing correct software

Cooke, John

1998

Verifiable programming

Computer programs · Verification

Verifiable programming

Ole-Johan Dahl

1992

Semantik und Programmverifikation

Programmverifikation · Formale Semantik

Semantik und Programmverifikation

Christoph Walther

2001

Static Analysis

Datenfluss · Programmtest

Static Analysis

SAS <11, 2004, Verona>

2004

Formal methods

Programmanalyse · Programmverifikation

Formal methods

Keijiro Araki

2003

Programmentwicklung und Verifikation

Verifikation (Datenverarbeitung) · Programmverifikation

Programmentwicklung und Verifikation

Gerald Futschek

1989

Programmverifikation

Programmverifikation

Programmverifikation

Krzysztof R. Apt

1994

Software verification and validation

Computer software · Validation

Software verification and validation

Michael S. Deutsch

1982