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
Static Analysis

Static Analysis

by SAS <11, 2004, Verona>

DatenflussProgrammtestProgrammverifikationStatische AnalyseKontrollfluss
0.0
Open Library
Open Library

Themes & subjects

DatenflussProgrammtestProgrammverifikationStatische AnalyseKontrollflussProgrammtransformation

Author

SAS <11, 2004, Verona>

Editions

1

Language

German

Publisher

Springer Berlin Heidelberg

ISBN

9783540278641

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

Data flow computing

Computer architecture · Data flow computing

Data flow computing

J. A. Sharp

1985

Essential systems analysis

System analysis · SYSTEMS ENGINEERING

Essential systems analysis

Stephen M. McMenamin

1984

Logischer Entwurf digitaler Systeme

Electricity · Logic Design

Logischer Entwurf digitaler Systeme

Hans Liebig

1996

Testing applications on the Web

Application software · Testing

Testing applications on the Web

Hung Quoc Nguyen

2001

Testing Software and Systems

Logic design · Computer science

Testing Software and Systems

Alexandre Petrenko

2010

Test und Verla sslichkeit von Rechnern

Selbsttest · Debugging

Test und Verla sslichkeit von Rechnern

Günther Kemnitz

2007

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

Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings

Testmustergenerierung · Software engineering

Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings

Burkhart Wolff

2011

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

Tests and proofs

Beweis · Model Checking

Tests and proofs

TAP 2010 (2010 Málaga, Spain)

2010

Verified software

Programmverifikation · Formale Methode

Verified software

VSTTE 2010 (2010 Edinburgh, Scotland)

2010

Testing of software and communication systems

Telecommunication systems · Datensicherung

Testing of software and communication systems

IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (21st 2009 Eindhoven, The Netherlands)

2009