Reliable Software Technologies - Ada-Europe 2011

View on Open Library

Reliable Software Technologies - Ada-Europe 2011

by Alexander Romanovsky

No reviews yet

First published: 2011 1 language ISBN: 9783642213397

Subjects

Logic design Computer networks Computer science Software engineering Ada (computer program language) Computer software, reliability Mathematical Logic and Formal Languages Programming Techniques Computer Communication Networks Logics and Meanings of Programs

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Alexander Romanovsky

Trustworthy Cyber-Physical Systems Engineering

Trustworthy Cyber-Physical Systems Engin...

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Reliability, Safety, and Security of Rai...

Software engineering of fault tolerant systems

Software engineering of fault tolerant s...

Software Engineering for Resilient Systems

Software Engineering for Resilient Syste...

Industrial Deployment Of System Engineering Methods

Industrial Deployment Of System Engineer...

Software engineering for multi-agent systems III

Software engineering for multi-agent sys...

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

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