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
Formal methods

Formal methods

by Keijiro Araki

ProgrammanalyseProgrammverifikationFormale MethodeSoftwareentwicklungModel Checking
0.0
Open Library
Open Library

Themes & subjects

ProgrammanalyseProgrammverifikationFormale MethodeSoftwareentwicklungModel CheckingTesten

About the author

Keijiro Araki

1954

Author

Keijiro Araki

Editions

1

Language

English

Publisher

Springer

ISBN

9783540452362

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

An introduction to the analysis of algorithms

Computer algorithms · Algorithms

An introduction to the analysis of algorithms

Robert Sedgewick

1995

Impact analysis for program evaluation

Policy sciences · Evaluation research (Social action programs)

Impact analysis for program evaluation

Lawrence B. Mohr

1988

Verification and validation in systems engineering

Systems engineering · Leistungsbewertung

Verification and validation in systems engineering

Mourad Debbabi

2010

Television and children

Child psychology · Television and children

Television and children

Brian R. Clifford

1995

Verification, model checking, and abstract interpretation

Computer programs · Congresses

Verification, model checking, and abstract interpretation

VMCAI 2004 (2004 Venice, Italy)

2004

Data structures and algorithm analysis

Computer algorithms · Data structures (Computer science)

Data structures and algorithm analysis

Mark Allen Weiss

1992

Programming Languages and Systems

Logic design · Software engineering

Programming Languages and Systems

Zhenjiang Hu

2009

Practical Introduction to Data Structures and Algorithm Analysis, A

Algorithmes · Computer algorithms

Practical Introduction to Data Structures and Algorithm Analysis, A

Clifford A. Shaffer

1996

Optimierung objektorientierter Programme

Objektorientierte Programmierung · Übersetzerbau

Optimierung objektorientierter Programme

Martin Trapp

2001

Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings

Computer networks · Computer science

Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings

Huibiao Zhu

2010

Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings

Computer science · Software engineering

Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings

Ana Cavalcanti

2010

Tools and algorithms for the construction and analysis of systems

Development · Model Checking

Tools and algorithms for the construction and analysis of systems

TACAS 2010 (2010 Paphos, Cyprus)

2010

Verified software

Programmverifikation · Formale Methode

Verified software

VSTTE 2010 (2010 Edinburgh, Scotland)

2010

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 of sequential and concurrent programs

Verification · Computer software

Verification of sequential and concurrent programs

Krzysztof R. Apt

1991

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