Image from Google Jackets
Compositionality, concurrency and partial correctness
By: Material type:
TextLanguage: English Series: Lecture notes in computer science; 321Publication details: Berlin Springer-Verlag 1989Description: 272p. cmSubject(s): DDC classification: - D65,8(B), M9
Textual
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | D65,8(B) M9 (Browse shelf(Opens below)) | Available | SL1023585 |
There are no comments on this title.
Log in to your account to post a comment.
- 143851
- 143852
- 143853
- 143854
- 143855
- 143856
- 143857
- 143858
- 143859
- 143860
- 143861
- 143862
- 143863
- 143864
- 143865
- 143866
- 143867
- 143868
- 143869
- 143870
- 143871
- 143872
- 143873
- 143874
- 143875
- 143876
- 143877
- 143878
- 143879
- 143880
- 143881
- 143882
- 143883
- 143884
- 143885
- 143886
- 143887
- 143888
- 143889
- 143890
- 143891
- 143892
- 143893
- 143894
- 143895
- 143896
- 143897
- 143898
- 143899
- 143900
-
143851
Conceptual Art After Modernism
by Robert Bailey -
143852
Kremlin Media Wars
by Wendy Sloane; Aleksandra Raspopina -
143853
Fake News Across Asian Countries
by Edson C. Tandoc Jr. -
143854
Locating North Korea in Communication Research
by Soomin Seo; Seungahn Nah; Yong-Chan Kim; Dal Yong Jin -
143855
The Urban Vernacular in Southeast Asia
by Nor Zalina Harun; Shireen Jahn Kassim -
143856
Perspectives on Greek Musical Modernism
by Eva Mantzourani; Costas Tsougras; Petros Vouvaris -
143857
Documenting Industry
by Ranu Roychoudhuri; Rebecca M. Brown -
143858
Jack Gelber
by John Patrick Bray -
143859
Vladimir Nemirovich-Danchenko and the Moscow Art Theatre
by Inna Solovyova; James Thomas -
143860
Audio Augmented Reality
by Matias Harju -
143861
Black Playwrights and Heightened Text
by Jacqueline Springfield -
143862
The Morse Code: Decoding the Career of Iconic Lighting Designer Peter Morse
by Peter Morse; Vickie Claiborne -
143863
Three Plays by Luis Valdez
by Luis Valdez; Michael Mark Chemers -
143864
Embracing Disruption
by Stephen Wisker -
143865
Fabrication for Theatre and Entertainment: Wood and Fiber Products
by Michael O'Nele -
143866
Dramaturgy
by Michael Evans; Magda Romanska -
143867
Decolonization and Diversity in Contemporary Photography
by Qiana Mestrich -
143868
The Darkroom Cookbook
by Steve Anchell -
143869
Creative Confidence and Music Production
by Liina Turtonen -
143870
Choreomusicology
by Samuel N. Dorf; Helen Julia Minors -
143871
The Western Classical Music Industry in Twenty-First Century China
by Weida Wang -
143872
Spanish Piano Music and Folklore from the Eighteenth to Early Twentieth Centuries
by Ana Benavides; Walter Aaron Clark -
143873
Creating Opera Utilising Augmented Reality and Virtual Reality Technologies
by Taana Rose -
143874
The Complete Guide to Videogame Performance Directing
by Tom Keegan -
143875
Teaching Video Game Design Fundamentals
by Andy Sandham -
143876
Cardboard Ghosts
by Amabel Holland -
143877
Event-Database Architecture for Computer Games
by Rodney Quaye -
143878
Face It
by Patricia Beckmann-Wells; Scott Wells -
143879
A History of Intimacy Professionals in Entertainment
by Brooke M. Haney -
143880
Every Frame Counts
by Jared Simon -
143881
The Art of Directing
by Tim Leandro -
143882
Visual Storytelling for Filmmakers
by Blain Brown -
143883
Capturing Big Ideas for Less in Feature Film
by David Bennett Carren -
143884
Micro-Budget Methods of Cinematic Storytelling
by Jake Mahaffy -
143885
Mediating Presence
by Peter Zakrzewski; David Tamés -
143886
Sound Design for the Visual Storyteller
by Christopher D. Anderson -
143887
Projection Design
by Davin E. Gaddy -
143888
The Fundamentals of Video Game Literacy
by Ryan Zhao -
143889
Mastering Community Management
by Victoria Tran -
143890
Routledge Handbook of Tourism and Hospitality Development in Vietnam
by Tuyen Dai Quang; Tan Vo-Thanh -
143891
Sexuality, Masculinities and Resistance in South India
by K.P. Jayaraj -
143892
Sociopolitical Movements of a Century in Tamil Nadu
by Suba Veerapandian; R. Qurshid Begum -
143893
Max Weber, Rudolf Steiner, and Modern Western Esotericism
by Aaron French -
143894
Gender and STEM
by Namrata Gupta -
143895
California Politics Is Local
by Jacob Sutherland; Brett L. Savage -
143896
Safer Spaces, Feminist Movements and Emotions
by Giada Bonu Rosenkranz -
143897
Diverse Narratives and Shared Beliefs
by Soumya Awasthi -
143898
Narratives and Practices of Migrant and Minority Incorporation in European Societies
by Zenia Hellgren; Alexander Gamst Page; Thomas Sealy -
143899
Other Backward Classes in India
by Simhadri Somanaboina; Akhileshwari Ramagoud -
143900
Global Hong Kong
by Yuk Wah Chan; Yvette To
Compositionality, concurrency and partial correctness
APA
Zwiers J, . (1989). Compositionality, concurrency and partial correctness. Berlin: Springer-Verlag.
Chicago
Zwiers J, . 1989. Compositionality, concurrency and partial correctness. Berlin: Springer-Verlag.
Harvard
Zwiers J, . (1989). Compositionality, concurrency and partial correctness. Berlin: Springer-Verlag.
MLA
Zwiers J, . Compositionality, concurrency and partial correctness. Berlin: Springer-Verlag. 1989.
