Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Introduction to Process Algebra

Name: Introduction to Process Algebra
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01653571
Price: 52.69 EUR
Availability: InStock
Author: Wan Fokkink
ISBN: 9783642085840

Wan Fokkink

Sprache

Englisch

Buch Broschur

Libristo-Code: 01653571

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Dezember 2010

Automated and semi-automated manipulation of so-called labelled transition systems has become an imp... Vollständige Beschreibung

Libristo-Code: 01653571

129 b

52.69 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Dinamica atmosferica y los procesos tormentosos severos Raúl César Pérez

Broschur

36.49 €

Poppy Playtime Amis pour la mort Virgile Iscan

Broschur

17.69 €

Woerterbucher - Mittel nationalsozialistischer Propaganda Helena Drewa

Broschur

17.95 €

Souvenirs de jeunesse 1939 - 1945 Paul Kalt

Broschur

6.99 €

EL TEATRO ES PURA QUIMICA LA QUIMICA ES PURO TEATRO POU AMERIGO

Hardcover

23.69 €

Solitudini e I Luoghi Marianna Piani

Broschur

13.89 €

Iliade Omero

Broschur

15.69 €

Bad Romance, T3 : Coeurs imprudents Céline Mancellon

Broschur

14.69 €

Ensayos filosóficos y políticos Cristóbal Montes

Broschur

30.49 €

Histoire Populaire Abregee de Napoleon III De Cassagnac-P

Broschur

16.09 €

Monster Loving Maniacs, Bildergalerie, 200 Teile

Spiel

10.99 €

Chuť ticha Štefánia Baranová

Hardcover

14.89 €

War has another face: the inheritance of colonialism, the path of capitalism, the ruin of the planet Amitav Ghosh

Adobe ePub DRM

14.79 €

Agba Nwa-nnụnụ Parọt David E. McAdams

Broschur

11.89 €

Psychopatologia życia codziennego Marzenia senne Sigmund Freud

Broschur

21.59 €

BROCKHAUSEN Bastelbuch Bd. 4 - Das große Buch zum Ausmalen und Prickeln: Schmetterlinge Dortje Golldack

Broschur

12.59 €

Mein Tierspaß Rebecca Schmalz

Leporello

12.00 €

Ballando Francesca Giraudo

Broschur

13.59 €

Miasto gangów Czeszumski Łukasz

Broschur

10.69 €

Bristol UK Aerial Photographs and Tourist Attractions Llewelyn Pritchard Ma

Broschur

12.59 €

Memospiel Mein erstes Memo

Spiel

9.99 €

Death Magnetic Metallica

Audio CD

26.19 €

Dřevěné kostky Cars ve světě Disney - Pixar

Spielzeug

16.29 €

culpabilite comme facteur suicidaire Julia Rysyukova Julia

Broschur

37.29 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Introduction to Process Algebra

Autor Wan Fokkink

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 168

EAN 9783642085840

ISBN 3642085849

Libristo-Code 01653571

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

Gewicht 284

Abmessungen 155 x 235 x 10

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

Mathematik und Naturwissenschaften > Mathematik > Algebra

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen

EDV und Informationstechnologie > Unternehmensanwendungen

EDV und Informationstechnologie > Computerhardware

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert