Foundations of Software Technology and Theoretical Computer Science: Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings (Lecture Notes in Computer Science, 405, Band 405)

Ein Sammelband aus dem neunten Workshop zur Softwaretechnik und theoretischen Informatik in Bangalore (1989), der neue Ansätze zu formalen Verifikati ...

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540520481
MPN
Springer Berlin Heidelberg 6901412

Eigenschaften

Menü