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
Semantik und Programmverifikation

Semantik und Programmverifikation

by Christoph Walther

ProgrammverifikationFormale SemantikFunktionale Programmiersprache
0.0
Open Library
Open Library

Themes & subjects

ProgrammverifikationFormale SemantikFunktionale Programmiersprache

Author

Christoph Walther

Editions

1

Language

German

Publisher

Vieweg+Teubner Verlag

ISBN

9783322867681

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

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

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

Programming languages and systems

Bisimulation · Programmverifikation

Programming languages and systems

APLAS 2008 (2008 Bangalore, India)

2008

New Frontiers In Artificial Intelligence

Computer Imaging, Vision, Pattern Recognition and Graphics · Database management

New Frontiers In Artificial Intelligence

Daisuke Bekki

2011

Naming and necessity

Identity · Identity (Philosophical concept)

Naming and necessity

Saul A. Kripke

1980

Events and semantic architecture

Causation · Generative grammar

Events and semantic architecture

Paul M. Pietroski

2004

Semantics of digital circuits

Digital integrated circuits · STREAM (Computer hardware description language)

Semantics of digital circuits

Carlos Delgado Kloos

1987

From logic design to logic programming

Logic programming · Algorithms

From logic design to logic programming

Dominique Snyers

1987