Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation

Stephan Kleuker Formale Modelle der Softwareentwicklung Aus dem Programm Datenbanken und Softwareentwicklung weiter...
Author:  Kleuker S.

59 downloads 1255 Views 3MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

Springer-Lehrbuch Für weitere Bände: http://www.springer.com/series/1183 Martin Treiber · Arne Kesting Verkehrsdyna...

Hans Brandt-Pook | Rainer Kollmeier Softwareentwicklung kompakt und verständlich Aus dem Programm Softwareentwicklun...

MODELLE DER MENGENLEHRE STEFAN GESCHKE 1. Axiome der Mengenlehre Das zur Zeit popul¨ arste Axiomensystem der Mengenlehr...

Verifikation und Validierung für die Simulation in Produktion und Logistik Markus Rabe · Sven Spieckermann · Sigrid We...

Automaten und Formale Sprachen Skript zur Vorlesung WS 2005/06 Fassung vom 6.10.2005 Martin Dietzfelbinger Technische U...

Formale Sprachen und Automatentheorie Udo Hebisch SS 2006 Dieses Skript enth¨alt nur den “roten Faden” der Vorlesung. We...

Die Reihe Xpert.press vermittelt Professionals in den Bereichen Softwareentwicklung, Internettechnologie und IT-Managem...

Helmut Bode MATLAB-SIMULINK Analyse und Simulation dynamischer Systeme Helmut Bode MATLAB-SIMULINK Analyse und Simul...

Balzert, Heide Lehrbuch der Objektmodellierung Analyse und Entwurf 1999, 600 S., inkl. CD-ROM, Geb. DM 98,- /öS 716,-...