Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

Author(s)

• EEF/Euro Summer School on Trends in Computer Science
• Brinksma, Ed
• Hermanns, Holger
• Katoen, Joost-Pieter

Bibliographic Information

Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)

（Lecture notes in computer science, 2090）

Springer, c2001

Note

"LNCS 2090 : Tutorial" -- on cover

Includes bibliographical references and index

Details

• NCID: BA53479204
• ISBN:
  • 3540424792
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; Tokyo
• Pages/Volumes: vi, 429 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA00009279