Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Introduction to Process Algebra

Jezik AngleščinaAngleščina
Knjiga Trda
Knjiga Introduction to Process Algebra Wan Fokkink
Koda Libristo: 01567116
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, december 1999
Automated and semi-automated manipulation of so-called labelled transition systems has become an imp... Celoten opis
? points 115 b
47.74 €
Na zalogi pri dobavitelju Odposlali bomo v 10-13 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

200 Jahre Psychiatrie an Der Universitat Leipzig Matthias C. Angermeyer / Knjiga Knjiga
common.buy 49.05 €
Autogenes Training: Durch Selbsthypnose und Autosuggestion Stress abbauen, besser einschlafen und Konzentration steigern - inkl. Meditation gegen Rück / Knjiga Mehka
common.buy 13.54 €
Falk Stadtplan Extra Frankfurt am Main 1:20.000 / Tiskani izdelki Zemljevid
common.buy 8.39 €
Historia mundiali. Tom 1. 1930–1974 Leszek Jarosz / Knjiga Trda
common.buy 15.67 €
Zajęcia rewalidacyjne Zeszyt ćwiczeń dla szkoły podstawowej Klasy 7-8 Część 2 Pańczyk Jolanta / Knjiga Mehka
common.buy 9.40 €
Dziewięć kołatek Troya Czarnecka-Suls Alicja / Knjiga Mehka
common.buy 8.99 €
Velebím Kaylene Brown / Knjiga Trda
common.buy 13.54 €
Krisen meistern Daniela Landgraf / E-knjiga Adobe ePub DRM
common.buy 11.93 €
Top
Po stopách vlka Cami Wolf / Knjiga Mehka
common.buy 11.32 €
Poceni
HUDEBNÍ KVÍZY Martin Vozar / Knjiga Mehka
common.buy 5.86 €
Demografický vývoj a typologie českého venkova v kontextu prostorových souvisl. Renáta Klufová / Knjiga Mehka
common.buy 21.03 €
A rút kiskacsa + 6 darab puzzle / Knjiga Kartonka
common.buy 3.73 €
Questionnaire Français. Questions On French Grammar, Idiomatic Difficulties and Military Expressions / Knjiga Mehka
common.buy 21.94 €
Raclette Borut Golob / Knjiga Mehka
common.buy 7.88 €
Carl Gottlieb Svarez: Gesammelte Schriften / Zweite Abteilung: Die Preußische Rechtsreform. I. Das Allgemeine Landrecht: Die Texte. C. Gemeinsames Reg Carl G. Svarez / Knjiga Trda
common.buy 77.78 €
Denn das Thema der Dichtung ist immer der Mensch Carolin Mülverstedt / Knjiga Mehka
common.buy 31.85 €
corazon del lider Jon Byler / Knjiga Mehka
common.buy 12.43 €
Clara Viebig DIE PASSION Clara Viebig / Knjiga Mehka
common.buy 23.05 €
Obras escogidas V : fundamentos de defectología Lev Semionovich Vygotski / Knjiga Mehka
common.buy 24.37 €
Fenomenología, semiótica y derecho Carlos Alarcón Cabrera / Knjiga Mehka
common.buy 16.78 €
St.-Johannis-Nachts-Traum William Shakespeare / Knjiga Mehka
common.buy 11.02 €
Bau- und Kunstdenkmaler der Provinz Ostpreussen Adolf Boetticher / Knjiga Mehka
common.buy 14.35 €
Jugendgewalt als soziales Problem Lisa Aberle / Knjiga Mehka
common.buy 23.56 €
Die gemeinnützige Stiftung - Der gemeinnützige Fonds Beatrix Schwar / Knjiga Mehka
common.buy 28.11 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Introduction to Process Algebra
Avtor Wan Fokkink
Jezik Angleščina
Vezava Knjiga - Trda
Datum izida 1999
Število strani 168
EAN 9783540665793
ISBN 354066579X
Koda Libristo 01567116
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 950
Mere 155 x 235 x 14

Kategorije

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Mathematics & Science > Mathematics > Algebra
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Information technology: general issues
Computing & Information Technology > Business applications
Computing & Information Technology > Computer hardware
Computing & Information Technology > Operating systems
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Combinatorial Algorithms Jiri Fiala / Knjiga Mehka
common.buy 48.85 €
Blossom Among Flowers Jay E Tria / Knjiga Mehka
common.buy 14.05 €
Cities and Citizenship James Holston / Knjiga Mehka
common.buy 36.20 €
Value-based Human Resource Strategy Laura Brown / Knjiga Mehka
common.buy 70.50 €
Confessions of a Househusband Alan Tapley / Knjiga Mehka
common.buy 14.56 €
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 / Knjiga Mehka
common.buy 24.98 €
Byzantine Art and Italian Panel Painting Jaroslav Folda / Knjiga Trda
common.buy 153.45 €
Ask Mr. Bear Marjorie Flack / Knjiga Trda
common.buy 14.76 €
Nelson Mandela Beatrice Gormley / Knjiga Mehka
common.buy 8.28 €
1 and 2 Chronicles Enrichment Magazine Reed Lessing / Knjiga Mehka
common.buy 14.56 €
Human Induced Environmental Threats Rosemary Charles / Knjiga Trda
common.buy 118.34 €
Studies in Stanzas ROBERT HENRY NEWELL / Knjiga Mehka
common.buy 18.50 €
An Account of Two Remarkable Trials for Murder, in the Counties of Gloucester and Essex Thomas Overbury / Knjiga Mehka
common.buy 15.47 €
Classical Sheet Music For Flute With Flute & Piano Duets Book 2 Michael Shaw / Knjiga Mehka
common.buy 9.80 €
Mathematical Finance M J Alhabeeb / Knjiga Trda
common.buy 123.71 €
Artful Experiments ERCHINGER PHILIPP / Knjiga Mehka
common.buy 42.98 €
A Plea for Liberty Thomas Mackay / Knjiga Mehka
common.buy 22.75 €
Seeley's Essentials of Anatomy and Physiology Patton / Knjiga Trda
common.buy 104.08 €
The Marquis She's Been Waiting For Ella Quinn / Knjiga Mehka
common.buy 13.14 €
Bundle: Pathways: Listening, Speaking, and Critical Thinking 2, 2nd Student Edition + Online Workbook (1-year access) / Knjiga Mehka
common.buy 35.39 €
Love Me for Who I Am Vol. 2 Kata Konayama / Knjiga Mehka
common.buy 10.00 €
The Bayard of India: A Life of General Sir James Outram (1903) Lionel James Trotter / Knjiga Mehka
common.buy 30.94 €
Nature Neighbors - Dots Lines Spirals Coloring Book: New kind of stress relief coloring book for adults Dots And Lines Spirals Coloring Book / Knjiga Mehka
common.buy 7.27 €
Sex With My Family Jessica Anne / Knjiga Mehka
common.buy 10.61 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?