Skip to main content
PBS logo
 
 

Search - Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch) (German Edition)

Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch) (German Edition)
Programmverifikation Sequentielle parallele und verteilte Programme - Springer-Lehrbuch - German Edition
Author: Krzysztof R. Apt, Ernst-Rüdiger Olderog
Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werdenin einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nichtdeterministische Programme, Programme mit gemeinsamen Variablen und verteilte P...  more »
ISBN-13: 9783540574798
ISBN-10: 3540574794
Publication Date: 4/24/1996
Pages: 258
Edition: 1
Rating:
  ?

0 stars, based on 0 rating
Publisher: Springer
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review