CONSTRUCTION & ANALYSIS OF... (V3) - A Arnold, Didier Begay

Blick ins Buch

CONSTRUCTION & ANALYSIS OF... (V3) (eBook)

A Arnold, Didier Begay (Autoren)

eBook Download: PDF

1994
200 Seiten
World Scientific Publishing Company (Verlag)
978-981-4343-45-9 (ISBN)

Lese- und Medienproben

Ebook-Leseprobe (PDF)

The importance of formal methods in software engineering has been receiving greater acknowledgement. These methods can be used at several stages of the software development process. This book focuses on a method concerning the early stages of design, namely the modeling of a system at conceptual level, and the verification and validation of this model.The mathematical formalism used for modeling and verifying systems is the synchronized product of transition systems. The book introduces this notion and presents several examples of modeling and verification covering various domains: games, industrial processes, communication protocols, etc.These examples are worked out using the âMecâ software tool. This book is also intended to be an introduction to this tool which is described in full detail.

Erscheint lt. Verlag	16.12.1994
Reihe/Serie	Amast Series In Computing
	Amast Series In Computing
	AMAST SERIES IN COMPUTING
Mitarbeit	Sonstige Mitarbeit: Amast-fund
Verlagsort	Singapore
Sprache	englisch
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Naturwissenschaften
ISBN-10	981-4343-45-5 / 9814343455
ISBN-13	978-981-4343-45-9 / 9789814343459

Haben Sie eine Frage zum Produkt?

PDF (Adobe DRM)

Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine Adobe-ID und die Software Adobe Digital Editions (kostenlos). Von der Benutzung der OverDrive Media Console raten wir Ihnen ab. Erfahrungsgemäß treten hier gehäuft Probleme mit dem Adobe DRM auf.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine Adobe-ID sowie eine kostenlose App.
Geräteliste und zusätzliche Hinweise

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.