KOBV Portal

Hits per page

hits 1 - 3 | 3 hits

Sorting

Online Resource

Tools and algorithms for the construction and analysis of systems : 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings (2010)

Esparza, Javier [Sonstige] 1964- ; TACAS 16 2010 Paphos ; ETAPS 13 2010 Paphos

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV036121975

Format: 1 Online-Ressource (XVI, 468 S.) , graph. Darst.

ISBN: 9783642120015 , 9783642120022

Series Statement: Lecture notes in computer science 6015 : Advanced research in computing and software science

Note: Literaturangaben

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Systementwicklung ; Softwareentwicklung ; Model Checking ; Programmanalyse ; Theoretische Informatik ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/978-3-642-12002-2

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: Inhaltsverzeichnis

URL: Inhaltstext

Author information: Esparza, Javier 1964-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

BTU Cottbus

Book

Esparza, Javier, 1964- ; TACAS 16 2010 Paphos ; ETAPS 13 2010 Paphos

Berlin [u.a.] :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_BV036100701

Format: XVI, 468 S. : , graph. Darst. ; , 24 cm.

ISBN: 978-3-642-12001-5

Series Statement: Lecture notes in computer science 6015 : Advanced research in computing and software science

Note: Literaturangaben

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Systementwicklung ; Softwareentwicklung ; Model Checking ; Programmanalyse ; Theoretische Informatik ; Konferenzschrift ; Kongress ; Konferenzschrift

URL: Inhaltstext

URL: Inhaltsverzeichnis

URL: http://d-nb.info/1000251993/04

URL: http://deposit.dnb.de/cgi-bin/dokserv?id=3427663&prov=M&dok_var=1&dok_ext=htm

Author information: Esparza, Javier, 1964-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

Berlin VÖBB/ZLB

Book

Esparza, Javier [Sonstige] 1964- ; TACAS 16 2010 Paphos ; ETAPS 13 2010 Paphos

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV036100701

Format: XVI, 468 S. , graph. Darst. , 24 cm

ISBN: 9783642120015

Series Statement: Lecture notes in computer science 6015 : Advanced research in computing and software science

Note: Literaturangaben

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Systementwicklung ; Softwareentwicklung ; Model Checking ; Programmanalyse ; Theoretische Informatik ; Konferenzschrift

URL: Inhaltstext

URL: Inhaltsverzeichnis

Author information: Esparza, Javier 1964-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

hits 1 - 3 | 3 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Kooperativer Bibliotheksverbund

Berlin Brandenburg