Perspectives of Systems Informatics View on Open Library

Perspectives of Systems Informatics

by Amir Pnueli

No reviews yet
First published: 2010 1 language ISBN: 9783642114878
Subjects
Logic design Computer science Software engineering Systems engineering Informatique Engineering Computer programming Computer Systems Congresses Programmierung

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Amir Pnueli

The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concu...

Temporal Logic in Specification

Temporal Logic in Specification

Compositionality : the Significant Difference

Compositionality : the Significant Diffe...

Hybrid Systems : Computation and Control

Hybrid Systems : Computation and Control

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurren...

Hybrid systems

Hybrid systems

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
How computers work

How computers work

Ron White
Information and Communication Technologies in Education, Research, and Industrial Applications

Information and Communication Technologi...

Vadim Ermolayev