Konferenzschrift | Kongress

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

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642150562
Dimensions
24 cm
Extent
X, 215 S.
Language
Englisch
Notes
graph. Darst.
Literaturangaben

Bibliographic citation
Lecture notes in computer science ; 6217

Keyword
Software
Verifikation
Softwaretest
Programmanalyse
Programmverifikation
Formale Methode

Event
Veröffentlichung
(where)
Berlin, Heidelberg, New York, NY
(who)
Springer
(when)
2010
Contributor
Leavens, Gary T.
VSTTE (3 : 2010 : Edinburgh)

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.03.2025, 12:18 PM CET

Data provider

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

Object type

  • Konferenzschrift
  • Kongress

Associated

Time of origin

  • 2010

Other Objects (12)

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

Konferenzschrift | Kongress

Verified software: theories, tools, experiments : second 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

Embedded software : third international conference ; proceedings

Konferenzschrift | Kongress

Embedded software : third international conference ; proceedings

Software business : third international conference ; proceedings

Konferenzschrift | Kongress

Software business : third international conference ; proceedings

Software product lines : third international conference ; proceedings

Konferenzschrift | Kongress

Software product lines : third international conference ; proceedings

COTS based software systems : third international conference ; proceedings

Konferenzschrift | Kongress

COTS based software systems : third international conference ; proceedings

Embedded software and systems : third international conference ; proceedings

Konferenzschrift | Kongress

Embedded software and systems : third international conference ; proceedings

Human-centered software engineering : third international conference ; proceedings

Konferenzschrift | Kongress

Human-centered software engineering : third 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

Third International Conference on Software, Services and Semantic Technologies

Konferenzschrift | Kongress

Third International Conference on Software, Services and Semantic Technologies

Product focused software process improvement : third international conference ; proceedings

Konferenzschrift | Kongress

Product focused software process improvement : third international conference ; proceedings

Related objects