Tests and proofs 12th International Conference, TAP 2018 : held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings

Tests and proofs 12th International Conference, TAP 2018 : held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Körperschaften: TAP Toulouse (VerfasserIn), STAF (VerfasserIn)
Weitere Verfasser: Dubois, Catherine (HerausgeberIn), Wolff, Burkhart (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham Springer [2018]
Schriftenreihe:Lecture Notes in Computer Science 10889
Schlagworte:
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Systems and Data Security
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
The Computing Profession
Computer science
Software engineering
Programming languages (Electronic computers)
Computer security
Computer logic
Mathematical logic
Computers
Formale Methode
Softwareentwicklung
Model Checking
Softwaretest
Programmverifikation
Softwaresystem
Beweis
Konferenzschrift
Online-Zugang:DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:1 Online-Ressource (XIV, 185 Seiten) Illustrationen, Diagramme
ISBN:9783319929941
ISSN:0302-9743
DOI:10.1007/978-3-319-92994-1

Ähnliche Einträge