Darmowa dostawa dla zamówień powyżej 299,00 zł.

Introduction to Process Algebra

Name: Introduction to Process Algebra
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567116
Price: 218.72 PLN
Availability: InStock
Author: Wan Fokkink
ISBN: 9783540665793

Wan Fokkink

Język

Angielski

Książka Twarda

Kod Libristo: 01567116

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, grudzień 1999

Automated and semi-automated manipulation of so-called labelled transition systems has become an imp... Cały opis

Kod Libristo: 01567116

122 b

218.72 zł

Dostępna u dostawcy Wysyłamy za 10-13 dni

Nawet do 30 dni na zwrot

Klienci kupili także

200 Jahre Psychiatrie an Der Universitat Leipzig Matthias C. Angermeyer

Książka

224.56 zł

Autogenes Training: Durch Selbsthypnose und Autosuggestion Stress abbauen, besser einschlafen und Konzentration steigern - inkl. Meditation gegen Rück

Miękka

62.18 zł

Falk Stadtplan Extra Frankfurt am Main 1:20.000

Mapa

38.41 zł

Historia mundiali. Tom 1. 1930–1974 Leszek Jarosz

Twarda

67.81 zł

Zajęcia rewalidacyjne Zeszyt ćwiczeń dla szkoły podstawowej Klasy 7-8 Część 2 Pańczyk Jolanta

Miękka

40.56 zł

Dziewięć kołatek Troya Czarnecka-Suls Alicja

Miękka

39.13 zł

Velebím Kaylene Brown

Twarda

65.97 zł

Krisen meistern Daniela Landgraf

Adobe ePub DRM

57.05 zł

Po stopách vlka Cami Wolf

Miękka

52.04 zł

HUDEBNÍ KVÍZY Martin Vozar

Miękka

30.21 zł

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

Miękka

96.19 zł

A rút kiskacsa + 6 darab puzzle

Leporelo

18.64 zł

Questionnaire Français. Questions On French Grammar, Idiomatic Difficulties and Military Expressions

Miękka

99.98 zł

Raclette Borut Golob

Miękka

36.26 zł

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

Twarda

373.52 zł

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

Miękka

153.97 zł

corazon del lider Jon Byler

Miękka

56.85 zł

Obras escogidas V : fundamentos de defectología Lev Semionovich Vygotski

Miękka

105.10 zł

Fenomenología, semiótica y derecho Carlos Alarcón Cabrera

Miękka

72.22 zł

Clara Viebig DIE PASSION Clara Viebig

Miękka

111.05 zł

St.-Johannis-Nachts-Traum William Shakespeare

Miękka

50.60 zł

Bau- und Kunstdenkmaler der Provinz Ostpreussen Adolf Boetticher

Miękka

65.97 zł

Jugendgewalt als soziales Problem Lisa Aberle

Miękka

108.38 zł

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

Miękka

134.61 zł

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.

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Introduction to Process Algebra

Autor Wan Fokkink

Język

Angielski

Oprawa Książka - Twarda

Data wydania 1999

Liczba stron 168

EAN 9783540665793

ISBN 354066579X

Kod Libristo 01567116

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga 950

Wymiary 155 x 235 x 14

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce

Matematyka i nauki ścisłe > Matematyka > Algebra

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne

Informatyka i technologie informacyjne (IT) > Technologia informacyjna (IT) – zagadnienia ogólne

Informatyka i technologie informacyjne (IT) > Aplikacje biznesowe

Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy

Informatyka i technologie informacyjne (IT) > Systemy operacyjne

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Combinatorial Algorithms Jiri Fiala

Miękka

223.54 zł

Blossom Among Flowers Jay E Tria

Miękka

64.23 zł

Cities and Citizenship James Holston

Miękka

163.60 zł

Value-based Human Resource Strategy Laura Brown

Miękka

339.00 zł

Confessions of a Househusband Alan Tapley

Miękka

66.17 zł

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

Miękka

115.14 zł