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 for components and objects

Formal methods for components and objects

by Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Formal methods (Computer science)CongressesComponent softwareObject-oriented programming (Computer science)Informatique
0.0
Open Library
Open Library

Themes & subjects

Formal methods (Computer science)CongressesComponent softwareObject-oriented programming (Computer science)InformatiqueApproche orientee objet (Informatique)

Authors

Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Pages

429

Read time

≈ 11h

Editions

3

Language

English

Publisher

Springer London, Limited

ISBN

9783642041679

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

Software Specification Methods

Formal methods (Computer science) · Computer software

Software Specification Methods

Henri Habrias

2000

Formal methods for components and objects

Formal methods (Computer science) · Congresses

Formal methods for components and objects

Frank S. de Boer

2004

Modeling in event-b

B method (Computer science) · Verification

Modeling in event-b

Jean-Raymond Abrial

2006

Process Algebra for Parallel and Distributed Processing

Parallel processing (Electronic computers) · Distributed processing

Process Algebra for Parallel and Distributed Processing

Michael Alexander

2008

Computer-aided reasoning

Expert systems (Computer science) · Formal methods (Computer science)

Computer-aided reasoning

Matt Kaufmann

2000

Practical UML statecharts in C/C++

Development · UML (Computer science)

Practical UML statecharts in C/C++

Miro Samek

2008

The Way of Z

Formal methods (Computer science) · Z (Computer program language)

The Way of Z

Jonathan Jacky

1996

Foundations and applications of security analysis

Congresses · Formal methods (Computer science)

Foundations and applications of security analysis

Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 York, England)

2009

Computer Safety, Reliability, and Security

Systems and Data Security · Software engineering

Computer Safety, Reliability, and Security

Frank Ortmeier

2012

Descriptional Complexity of Formal Systems

Formal methods (Computer science) · Congresses

Descriptional Complexity of Formal Systems

Jeffrey Shallit

2014

Formal Aspects of Component Software

Mathematical Logic and Formal Languages · Programming Techniques

Formal Aspects of Component Software

Farhad Arbab

2012

Manifest der Kommunistischen Partei

Communism · Sources

Manifest der Kommunistischen Partei

Karl Marx

1848

Nicomachean Ethics

Ethics · Early works to 1800

Nicomachean Ethics

Aristotle

1558

Lord Jim

Fiction · British

Lord Jim

Joseph Conrad

1900

Θεαίτητος

Theory of Knowledge · Ancient Philosophy

Θεαίτητος

Πλάτων

1861

Sartor resartus

Fiction · Philosophers

Sartor resartus

Thomas Carlyle

1800

La nausée

Existentialism · Fiction

La nausée

Jean-Paul Sartre

1938

Rembrandt

Etching · Dutch Painting

Rembrandt

Rembrandt Harmenszoon van Rijn

1900