Programmverifikation : Sequentielle, parallele und verteilte Programme

Author(s)

Bibliographic Information

Programmverifikation : Sequentielle, parallele und verteilte Programme

Krzysztof R. Apt, Ernst-Rüdiger Olderog

（Springer-Lehrbuch）

Springer, c1994

Available at  / 2 libraries

Search this Book/Journal

Note

Includes bibliographical references (p. [245]-250) and indexes

Related Books： 1-1 of 1

Details

  • NCID
    BA36885242
  • ISBN
    • 3540574794
  • Country Code
    gw
  • Title Language Code
    ger
  • Text Language Code
    ger
  • Place of Publication
    Berlin
  • Pages/Volumes
    xii, 258 p.
  • Size
    24 cm
  • Parent Bibliography ID
Page Top