Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Introduction to Process Algebra

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Introduction to Process Algebra Wan Fokkink
Libristo kód: 01567116
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, prosinec 1999
Automated and semi-automated manipulation of so-called labelled transition systems has become an imp... Celý popis
? points 116 b
1 155 Kč
Skladem u dodavatele Odesíláme za 10-13 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

200 Jahre Psychiatrie an Der Universitat Leipzig Matthias C. Angermeyer / Kniha Kniha
common.buy 1 187 Kč
Autogenes Training: Durch Selbsthypnose und Autosuggestion Stress abbauen, besser einschlafen und Konzentration steigern - inkl. Meditation gegen Rück / Kniha Brožovaná
common.buy 328 Kč
Falk Stadtplan Extra Frankfurt am Main 1:20.000 / Tiskovina Mapa
common.buy 202 Kč
Historia mundiali. Tom 1. 1930–1974 Leszek Jarosz / Kniha Pevná
common.buy 427 Kč
Zajęcia rewalidacyjne Zeszyt ćwiczeń dla szkoły podstawowej Klasy 7-8 Część 2 Pańczyk Jolanta / Kniha Brožovaná
common.buy 250 Kč
Dziewięć kołatek Troya Czarnecka-Suls Alicja / Kniha Brožovaná
common.buy 249 Kč
Velebím Kaylene Brown / Kniha Pevná
common.buy 296 Kč
Krisen meistern Daniela Landgraf / E-kniha Adobe ePub DRM
common.buy 319 Kč
Top
Po stopách vlka Cami Wolf / Kniha Brožovaná
common.buy 246 Kč
Levně
HUDEBNÍ KVÍZY Martin Vozar / Kniha Brožovaná
common.buy 141 Kč
Demografický vývoj a typologie českého venkova v kontextu prostorových souvisl. Renáta Klufová / Kniha Brožovaná
common.buy 452 Kč
A rút kiskacsa + 6 darab puzzle / Kniha Leporelo
common.buy 100 Kč
Questionnaire Français. Questions On French Grammar, Idiomatic Difficulties and Military Expressions / Kniha Brožovaná
common.buy 532 Kč
Raclette Borut Golob / Kniha Brožovaná
common.buy 178 Kč
Carl Gottlieb Svarez: Gesammelte Schriften / Zweite Abteilung: Die Preußische Rechtsreform. I. Das Allgemeine Landrecht: Die Texte. C. Gemeinsames Reg Carl G. Svarez / Kniha Pevná
common.buy 2 089 Kč
Denn das Thema der Dichtung ist immer der Mensch Carolin Mülverstedt / Kniha Brožovaná
common.buy 862 Kč
corazon del lider Jon Byler / Kniha Brožovaná
common.buy 300 Kč
Clara Viebig DIE PASSION Clara Viebig / Kniha Brožovaná
common.buy 622 Kč
Obras escogidas V : fundamentos de defectología Lev Semionovich Vygotski / Kniha Brožovaná
common.buy 642 Kč
Fenomenología, semiótica y derecho Carlos Alarcón Cabrera / Kniha Brožovaná
common.buy 443 Kč
St.-Johannis-Nachts-Traum William Shakespeare / Kniha Brožovaná
common.buy 267 Kč
Bau- und Kunstdenkmaler der Provinz Ostpreussen Adolf Boetticher / Kniha Brožovaná
common.buy 348 Kč
Jugendgewalt als soziales Problem Lisa Aberle / Kniha Brožovaná
common.buy 571 Kč
Die gemeinnützige Stiftung - Der gemeinnützige Fonds Beatrix Schwar / Kniha Brožovaná
common.buy 754 Kč

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Introduction to Process Algebra
Autor Wan Fokkink
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 1999
Počet stran 168
EAN 9783540665793
ISBN 354066579X
Libristo kód 01567116
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 950
Rozměry 155 x 235 x 14

Kategorie

Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
Matematika a věda > Matematika > Algebra
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informační technologie: obecná témata
Výpočetní a informační technologie > Obchodní aplikace
Výpočetní a informační technologie > Počítačový hardware
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Combinatorial Algorithms Jiri Fiala / Kniha Brožovaná
common.buy 1 182 Kč
Blossom Among Flowers Jay E Tria / Kniha Brožovaná
common.buy 340 Kč
Cities and Citizenship James Holston / Kniha Brožovaná
common.buy 875 Kč
Value-based Human Resource Strategy Laura Brown / Kniha Brožovaná
common.buy 1 706 Kč
Confessions of a Househusband Alan Tapley / Kniha Brožovaná
common.buy 353 Kč
Complete History of the Several Translations of the Holy Bible, and New Testament, Into English, Both in Ms. and in Print the Second Edition, with Lar John Lewis / Kniha Brožovaná
common.buy 604 Kč
Byzantine Art and Italian Panel Painting Jaroslav Folda / Kniha Pevná
common.buy 4 208 Kč
Ask Mr. Bear Marjorie Flack / Kniha Pevná
common.buy 358 Kč
Nelson Mandela Beatrice Gormley / Kniha Brožovaná
common.buy 200 Kč
1 and 2 Chronicles Enrichment Magazine Reed Lessing / Kniha Brožovaná
common.buy 353 Kč
Human Induced Environmental Threats Rosemary Charles / Kniha Pevná
common.buy 2 864 Kč
Studies in Stanzas ROBERT HENRY NEWELL / Kniha Brožovaná
common.buy 449 Kč
An Account of Two Remarkable Trials for Murder, in the Counties of Gloucester and Essex Thomas Overbury / Kniha Brožovaná
common.buy 375 Kč
Classical Sheet Music For Flute With Flute & Piano Duets Book 2 Michael Shaw / Kniha Brožovaná
common.buy 237 Kč
Mathematical Finance M J Alhabeeb / Kniha Pevná
common.buy 2 993 Kč
Artful Experiments ERCHINGER PHILIPP / Kniha Brožovaná
common.buy 1 041 Kč
A Plea for Liberty Thomas Mackay / Kniha Brožovaná
common.buy 550 Kč
Seeley's Essentials of Anatomy and Physiology Patton / Kniha Pevná
common.buy 2 519 Kč
The Marquis She's Been Waiting For Ella Quinn / Kniha Brožovaná
common.buy 318 Kč
Bundle: Pathways: Listening, Speaking, and Critical Thinking 2, 2nd Student Edition + Online Workbook (1-year access) / Kniha Brožovaná
common.buy 945 Kč
Love Me for Who I Am Vol. 2 Kata Konayama / Kniha Brožovaná
common.buy 229 Kč
The Bayard of India: A Life of General Sir James Outram (1903) Lionel James Trotter / Kniha Brožovaná
common.buy 750 Kč
Nature Neighbors - Dots Lines Spirals Coloring Book: New kind of stress relief coloring book for adults Dots And Lines Spirals Coloring Book / Kniha Brožovaná
common.buy 176 Kč
Sex With My Family Jessica Anne / Kniha Brožovaná
common.buy 258 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?