Formal Methods for Components and Objects Lecture Notes in Computer Science View on Open Library

Formal Methods for Components and Objects Lecture Notes in Computer Science

by Frank S. de Boer

No reviews yet
First published: 2009 ISBN: 9783642041662
Subjects
Logic design Operating systems (Computers) Software engineering Computer science Formal methods (Computer science) Congresses Component software Object-oriented programming (Computer science) Softwareentwicklung Kongress

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Frank S. de Boer

Formal methods for components and objects

Formal methods for components and object...

Formal Methods for Components and Objects

Formal Methods for Components and Object...

Formal methods for components and objects

Formal methods for components and object...

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurren...

You Might Also Like

More in Logic design
Kokuritsu Kokkai Toshokan shozō Meijiki kankō tosho maikuro-ban shūsei

Kokuritsu Kokkai Toshokan shozō Meijiki ...

Kokuritsu Kokkai Toshokan (Japan)
The Logic of Scientific Discovery

The Logic of Scientific Discovery

Karl Popper
Digital Design

Digital Design

John F. Wakerly
Evaluation of Novel Approaches to Software Engineering

Evaluation of Novel Approaches to Softwa...

Leszek A. Maciaszek
Information and Communication Technologies in Education, Research, and Industrial Applications

Information and Communication Technologi...

Vadim Ermolayev
How computers work

How computers work

Ron White