Doprava zadarmo s Packetou nad 59.99 €

Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Introduction to Process Algebra

Name: Introduction to Process Algebra
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567116
Price: 61.28 EUR
Availability: InStock

Wan Fokkink

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 01567116

Nakladateľstvo 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... Celý popis

Libristo kód: 01567116

154 b

61.28 €

Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Demografický vývoj a typologie českého venkova v kontextu prostorových souvisl. Renáta Klufová

/ Brožovaná

16.19 €

International Workshop on Positrons at Jefferson Lab Latifa Elouadrhiri

/ Brožovaná

113.51 €

Jugendgewalt als soziales Problem Lisa Aberle

/ Brožovaná

45.38 €

Mobile Phone Programming Frank H. P. Fitzek

/ Pevná

111.90 €

Denn das Thema der Dichtung ist immer der Mensch Carolin Mülverstedt

/ Brožovaná

35.51 €

Omnidirectional Vision Systems Luis Puig

/ Brožovaná

61.28 €

Rolle der Massenmedien bei der Aufklarung und der Bekampfung politischer Korruption in der Bundesrepublik Stephan Framke Framke

/ Brožovaná

69.23 €

Die gemeinnützige Stiftung - Der gemeinnützige Fonds Beatrix Schwar

/ Brožovaná

31.09 €

Entwicklung des Althochdeutschen im Zusammenhang mit dem historischem Hintergrund Erik Tuchtfeld

/ Brožovaná

10.05 €

Combinatorial Algorithms Jiri Fiala

/ Brožovaná

61.28 €

Kernwaffensperrvertrag - Herausforderungen und Entwicklungen des Nuklearen Nichtverbreitungsregimes Liza Torres

/ Brožovaná

45.38 €

Beteiligungsbewertung im Konzern nach der Equity-Methode (HGB) Larissa Maidhof

/ Brožovaná

36.32 €

St.-Johannis-Nachts-Traum William Shakespeare

/ Brožovaná

24.75 €

Carl Gottlieb Svarez: Gesammelte Schriften / Zweite Abteilung: Die Preußische Rechtsreform. I. Das Allgemeine Landrecht: Die Texte. C. Gemeinsames Reg Carl G. Svarez

/ Pevná

86.03 €

Educational Research Primer Anthony G Picciano

/ Pevná

295.76 €

Hochschullehrer als Prufer Norman Peter Koschmieder

/ Brožovaná

40.55 €

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.

Informácie o knihe

Celý názov Introduction to Process Algebra

Autor Wan Fokkink

Jazyk

Angličtina

Väzba Kniha - Pevná

Dátum vydania 1999

Počet strán 168

EAN 9783540665793

ISBN 354066579X

Libristo kód 01567116

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 950

Rozmery 155 x 235 x 14

Kategórie

Výpočtové a informačné technológie > Informatika > Teória algoritmov > Matematika pre informatikov

Matematika a veda > Matematika > Algebra

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn

Výpočtové a informačné technológie > Informačné technológie: všeobecné témy

Výpočtové a informačné technológie > Obchodné aplikácie

Výpočtové a informačné technológie > Počítačový hardvér

Výpočtové a informačné technológie > Operačné systémy

Darujte túto knihu ešte dnes

Je to jednoduché

1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Doručenie

Nákupný poradca