Kniha Logic for Concurrency and Synchronisation R.J. De Queiroz

Logic for Concurrency and Synchronisation

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
2 286
This book is for researchers in computer science, mathematical logic, and philosophical logic. It sh...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2013
Stránek
285
EAN
9789401740005
ISBN
9401740003
Enbook ID
02178381
Vydavatel
Hmotnost
474
Rozměry
155 x 235 x 17

Kompletní popis

This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. The combination of approaches and pointers for further integration also suggests a grander vision for the field.§

Mohlo by vás zajímat

3 426

Math In Economics

Susheng Wang
1 946

Constitution of Mexico

Garza Jos Mar a Serna de la Garza
856
626

Evelyn Marsh

S W Clemens
230

Benny's New Home

Ginger Scott
155
597
1 539

Calculus Made Easy

Silvanus P Thompson
643
212

All Roads Lead to Rome

Thomas Lagerman
437

Insurgency Online

Michael York Dartnell
2 502

Renewing Christianity

Christopher Bellitto
391

Zákaznicí kteří koupili tuto knihu koupili také

328

Maria Sibylla Merian

Carolin Bengelsdorf
358
806
848
610

Se sube uno y me dice

Martret i Adrubau
329

MUSIC OFR CLASSIC

HELMUT W. MAY
395

Demian

Hermann Hesse
222
749

Kordian

Słowacki Juliusz
53
1 178

Ve jménu Boha

Vladislav Šolc
212