Kód: 05274912

Compositionality: The Significant Difference

Name: Compositionality: The Significant Difference
Brand: Springer, Berlin
SKU: 05274912
Price: 2357.00 CZK
Availability: InStock
Author: Hans Langmaack
ISBN: 9783540654933

Autor Hans Langmaack, Amir Pnueli, Willem-Paul De Roever

Jazyk: Angličtina
Vazba: Brožovaná
Počet stran: 647
Nakladatelství: Springer, Berlin, 1998
Více informací o knize

2357 Kč

Skladem u dodavatele
Odesíláme za 5-8 dnů

Přidat mezi přání

Mohlo by se vám také líbit

Be As You Are
248 Kč
Koupit
City of Blades
276 Kč
Koupit
Sword Art Online Progressive, Vol. 5 (light novel)
258 Kč
Koupit
Bluey: Love from Bluey
153 Kč
Koupit
Teacher Resilience: Managing stress and anxiety to thrive in the classroom
540 Kč
Koupit
BC KS2 Pro Guided Y3 Term 3 Pupil Workbook
113 Kč
Koupit
Magic The Gathering: Rules and Getting Started, Strategy Guide, Deck Building For Beginners (MTG, Deck Building, Strategy)
837 Kč
Koupit
Beginning Cryptography with Java
692 Kč
Koupit
LIBRO DEL COLECCIONISTA DE COMICS SUPERTHINGS - SERIES 4, 5
525 Kč
Koupit
Appalachian Trail Hiker
308 Kč
Koupit
Nur Für Anfänger - Ukulele. Tl.1
386 Kč
Koupit
Do It Yourself Quantum Physics - Exploring the History, Theory and Applications of Quantum Physics Through Hands-On Projects
1904 Kč
Koupit
How and Why We Make Games
3083 Kč
Koupit
Die Tribute von Panem - The Ballad of Songbirds & Snakes
358 Kč
Koupit
Minimalism
610 Kč
Koupit
OAuth 2.0: Introduction to API Security with OAuth 2.0
269 Kč
Koupit
Nackte Natur (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender
1243 Kč
Koupit
Glencoe Life Iscience Module G: From Bacteria to Plants, Grade 7, Student Edition
1267 Kč
Koupit
Alles was ich bin, 2 Audio-CDs (Deluxe Edition)
388 Kč
Koupit
Jesu, the very thought is sweet
133 Kč
Koupit
Teaching Strategies for the College Classroom: A Collection of Faculty Articles
444 Kč
Koupit
Initial Public Offering (IPO). Chancen und Risiken für Unternehmensfinanzierung am Beispiel Hello Fresh
389 Kč
Koupit
The Harp Handbook, m. Audio-CD
968 Kč
Koupit
Confirmed Kill
308 Kč
Koupit
Inspiriertes Schreiben?
1159 Kč
Koupit
Fundamentals, Laplace's Equation, Diffusion Equation, Wave Equation
2303 Kč
Koupit
Hedda Sterne, The Discovery of Early Years 1910-1941
840 Kč
Koupit
Appealing Act
664 Kč
Koupit
From Exile to Exile
924 Kč
Koupit
Angel Babies Realm VI
347 Kč
Koupit
Consumer Culture and Personal Finance
1352 Kč
Koupit
Theological Understanding of Power for Poverty Alleviation in the Philippines
642 Kč
Koupit
Quantum Lens
299 Kč
Koupit
Chronicles of the Schonberg Cotta Family
990 Kč
Koupit
Budgeting For A Purpose: A Guide to Better Finances
317 Kč
Koupit
Peldanos a la Cumbre
442 Kč
Koupit
Women in Saudi Arabia Today
2646 Kč
Koupit
Tu amor creció conmigo
309 Kč
Koupit
Français-Afrikaans On a blessé mes sentiments/My gevoelens is gekwets Livre d'images bilingue pour enfants
277 Kč
Koupit
La rebel·lió dels animals
308 Kč
Koupit
History of Birmingham, to the End of the Year 1780. by W. Hutton.
554 Kč
Koupit
Discover the World of Squirrels: Illustrated Kids Book with Fun Facts about Squirrels and Builds Kids Vocabulary
361 Kč
Koupit
Elements de la Science Des Finances V2: Et de la Legislation Financiere Francaise (1902)
1250 Kč
Koupit
Successful Shadow A Detective's Successful Quest
206 Kč
Koupit
Zebra 1
505 Kč
Koupit
Towards a Theory of Schooling (Routledge Revivals)
1740 Kč
Koupit
Solar Powered Charging Infrastructure for Electric Vehicles
1980 Kč
Koupit
PET DOG
181 Kč
Koupit
Obesion street
353 Kč
Koupit
Hannah & Emil
300 Kč
Koupit
The Last Seven Years of the Life of Henry Clay.
619 Kč
Koupit
Sustainable Biofuels
358 Kč
Koupit
The Little Book of Children's Nursery Rhymes
294 Kč
Koupit
A Soldier, A Dog and A Boy
318 Kč
Koupit
Human Rights and Free Trade in Mexico
1223 Kč
Koupit
Shopping for Jesus
599 Kč
Koupit
Diaries of Sir Ernest Satow, 1921-1926 - Volume Two (1924-1926)
893 Kč
Koupit
Der Erfolg der Strafvereitelung
1292 Kč
Koupit
History of Flixton, Urmston, and Davyhulme, Etc. [With Plates.]
528 Kč
Koupit
Object Orientation with Parallelism and Persistence
3532 Kč
Koupit
Minsk Ghetto 1941-1943
2268 Kč
Koupit
Digital Image Warping
3014 Kč
Koupit
Classical Mechanics
3767 Kč
Koupit

Darujte tuto knihu ještě dnes

Objednejte knihu a zvolte Zaslat jako dárek.
Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
Knihu zašleme na adresu obdarovaného, o nic se nestaráte.

Více informací

Více informací o knize Compositionality: The Significant Difference

Parametry knihy
Anotace
Oblíbené z jiného soudku

Nákupem získáte 236 bodů

Anotace knihy

This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Computer architecture & logic design

2357 Kč

Plný název: Compositionality: The Significant Difference
Podnázev: International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures
Autor: Hans Langmaack, Amir Pnueli, Willem-Paul De Roever
Jazyk: Angličtina
Vazba: Brožovaná
Počet stran: 647
EAN: 9783540654933
ISBN: 3540654933
ID: 05274912
Nakladatelství: Springer, Berlin
Hmotnost: 916 g
Rozměry: 235 × 155 × 33 mm
Rok vydání: 1998