KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Book

Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings (2004)

Jensen, Kurt ; TACAS 10 2004 Barcelona ; ETAPS 7 2004 Barcelona

Berlin [u.a.] :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_BV017958858

Format: XIV, 608 S. : graph. Darst.

ISBN: 3-540-21299-X

Series Statement: Lecture notes in computer science 2988

Language: German

Subjects: Computer Science

RVK:

SS 4800

Keywords: Systementwicklung ; Softwareentwicklung ; Model Checking ; Automatisches Beweisverfahren ; Softwarespezifikation ; Programmverifikation ; Konferenzschrift ; Kongress ; Konferenzschrift ; Konferenzschrift

URL: Cover

URL: Inhaltstext

URL: http://www.loc.gov/catdir/enhancements/fy0818/2004046612-d.html

URL: Online Access

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

UB Potsdam

Berlin VÖBB/ZLB

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund

Berlin Brandenburg