Coverart for item
The Resource 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.)

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.)

Label
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
Title
Lectures on formal methods and performance analysis
Title remainder
first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
Statement of responsibility
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Additional physical form
Also available via the World Wide Web, abstracts avaliable without subscription.
Cataloging source
DLC
Dewey number
004/.01/51
Illustrations
illustrations
Index
index present
LC call number
QA76.9.F67
LC item number
E34 2000
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2000
http://bibfra.me/vocab/lite/meetingName
EEF/Euro Summer School on Trends in Computer Science
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1967-
http://library.link/vocab/relatedWorkOrContributorName
  • Brinksma, Ed
  • Hermanns, Holger
  • Katoen, Joost-Pieter
Series statement
Lecture notes in computer science,
Series volume
2090
http://library.link/vocab/subjectName
Formal methods (Computer science)
Label
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.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Process Algebra and Markov Chains
  • Ed Brinksma and Holger Hermanns
  • Verification of Randomized Distributed Algorithms
  • Roberto Segula
  • Constructing Automata from Temporal Logic Formulas: A Tutorial
  • Pierre Wolper
  • Exploiting Structure in Solution: Decomposing Compositional Models
  • Jane Hillston
  • Stochastic Activity Networks: Formal Definitions and Concepts
  • William H. Sanders and John F. Meyer
  • Formal Methods for Performance Evaluation
  • Ulrich Herzog
  • Markovian Models for Performance and Dependability Evaluation
  • Boudewijn R. Haverkort
  • Introduction to Stochastic Petri Nets
  • Gianfranco Balbo
  • Non-Markovian Analysis
  • Reinhard German
Control code
47705627
Dimensions
24 cm
Dimensions
unknown
Extent
vi, 429 pages
Isbn
9783540424796
Isbn Type
(pbk. : alk. paper)
Lccn
2001049290
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
Label
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.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Process Algebra and Markov Chains
  • Ed Brinksma and Holger Hermanns
  • Verification of Randomized Distributed Algorithms
  • Roberto Segula
  • Constructing Automata from Temporal Logic Formulas: A Tutorial
  • Pierre Wolper
  • Exploiting Structure in Solution: Decomposing Compositional Models
  • Jane Hillston
  • Stochastic Activity Networks: Formal Definitions and Concepts
  • William H. Sanders and John F. Meyer
  • Formal Methods for Performance Evaluation
  • Ulrich Herzog
  • Markovian Models for Performance and Dependability Evaluation
  • Boudewijn R. Haverkort
  • Introduction to Stochastic Petri Nets
  • Gianfranco Balbo
  • Non-Markovian Analysis
  • Reinhard German
Control code
47705627
Dimensions
24 cm
Dimensions
unknown
Extent
vi, 429 pages
Isbn
9783540424796
Isbn Type
(pbk. : alk. paper)
Lccn
2001049290
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...