Konferenzschrift | Kongress

Verified software: theories, tools, experiments : second international conference ; proceedings

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540878728
Dimensions
24 cm
Extent
XII, 262 S.
Language
Englisch
Notes
graph. Darst.
Literaturangaben

Bibliographic citation
Lecture notes in computer science ; 5295

Keyword
Software
Verifikation
Softwaretest
Programmanalyse
Programmverifikation
Programmverifikation
Formale Methode

Event
Veröffentlichung
(where)
Berlin, Heidelberg, New York, NY
(who)
Springer
(when)
2008
Contributor
Shankar, Natarajan
VSTTE (2 : 2008 : Toronto)

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 1:45 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Konferenzschrift
  • Kongress

Associated

Time of origin

  • 2008

Other Objects (12)

Verified software: theories, tools, experiments : third international conference ; proceedings

Konferenzschrift | Kongress

Verified software: theories, tools, experiments : third international conference ; proceedings

Verified software: theories, tools, experiments : 4th international conference ; proceedings

Konferenzschrift | Kongress

Verified software: theories, tools, experiments : 4th international conference ; proceedings

Verified software : theories, tools, experiments : 5th international conference ; revised selected papers

Konferenzschrift | Kongress

Verified software : theories, tools, experiments : 5th international conference ; revised selected papers

Software architecture : second European conference ; proceedings

Konferenzschrift | Kongress

Software architecture : second European conference ; proceedings

Embedded software : second international conference ; proceedings

Konferenzschrift | Kongress

Embedded software : second international conference ; proceedings

Software business : second international conference ; proceedings

Konferenzschrift | Kongress

Software business : second international conference ; proceedings

Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 conference ; revised selected papers and discussions

Konferenzschrift | Kongress | Kongress <2005>

Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 conference ; revised selected papers and discussions

Software product lines : second international conference ; proceedings

Konferenzschrift | Kongress

Software product lines : second international conference ; proceedings

Embedded software and systems : second international conference ; proceedings

Konferenzschrift | Kongress

Embedded software and systems : second international conference ; proceedings

COTS based software systems : second international conference ; proceedings

Konferenzschrift | Kongress

COTS based software systems : second international conference ; proceedings

Multicore software engineering, performance and tools : international conference ; proceedings

Konferenzschrift | Kongress

Multicore software engineering, performance and tools : international conference ; proceedings

Multicore software engineering, performance, and tools : international conference ; proceedings

Konferenzschrift | Kongress

Multicore software engineering, performance, and tools : international conference ; proceedings

Related objects