Welcome
Copyright © SirsiDynix. All rights reserved.
branding logo
Center Of Excellence for Jordanian Public University Library System (COE-JOPULS)
user_choices_background_image
Welcome
login container bottom
Jordanian Union Catalogue
360 Search
Search Libraries Catalogue
Duplicate Items
Add to My List

Print
Sorts and Limits

Title: Verification of Sequential and Concurrent Programs by Krzysztof R. Apt, Frank S. Boer, Ernst-Rüdiger Olderog.
Texts in Computer Science,
Texts in computer science,
Main Entry: Apt, Krzysztof R.
Boer, Frank S.
Olderog, Ernst-Rüdiger.
SpringerLink (Online service)
Publisher: Springer London,
Publication Date: 2009.
Publication Place: London :
ISBN: 9781848827455
Subject: Computer science.
Logic design.
Computer science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Series: Texts in Computer Science,
Texts in computer science,
Contents: <P>Part I: In the Beginning -- Introduction -- Preliminaries -- Part II: Deterministic Programs -- while Programs -- Recursive Programs -- Recursive Programs with Parameters -- Object-Oriented Programs -- Part III: Parallel Programs -- Disjoint Parallel Programs -- Parallel Programs with Shared Variables -- Parallel Programs with Synchronization -- Part IV: Nondeterministic and Distributed Programs -- Nondeterministic Programs -- Distributed Programs -- Fairness. </P>.
Related Records: Springer eBooks
Printed edition: 9781848827448
Cover Image: http://images.amazon.com/images/P/9781848827455.jpg

Results 1 - 1 of 1
  Agency: Collection: Call No.: Item Type: Status: Barcode: Media Type:
JUST Main Library Electronic Resources QA76.9.L63 No Circulation Available Online -575876 Book