Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €
phone Kontakt phoneWie einkaufen

Introduction to Process Algebra

Sprache EnglischEnglisch
Buch Broschur
Buch Introduction to Process Algebra Wan Fokkink
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
? points 122 b
50.66 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Dinamica atmosferica y los procesos tormentosos severos Raúl César Pérez / Buch Broschur
common.buy 34.95 €
Poppy Playtime Amis pour la mort Virgile Iscan / Buch Broschur
common.buy 16.81 €
Chuť ticha Štefánia Baranová / Buch Hardcover
common.buy 13.87 €
EL TEATRO ES PURA QUIMICA LA QUIMICA ES PURO TEATRO POU AMERIGO / Buch Hardcover
common.buy 23.10 €
Monster Loving Maniacs, Bildergalerie, 200 Teile / Spiel/Spielzeug Spiel
common.buy 9.21 €
Iliade Omero / Buch Broschur
common.buy 14.89 €
Agba Nwa-nnụnụ Parọt David E. McAdams / Buch Broschur
common.buy 12.05 €
Solitudini e I Luoghi Marianna Piani / Buch Broschur
common.buy 14.08 €
Woerterbucher - Mittel nationalsozialistischer Propaganda Helena Drewa / Buch Broschur
common.buy 16.21 €
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Buch Broschur
common.buy 6.78 €
Dřevěné kostky Cars ve světě Disney - Pixar / Spiel/Spielzeug Spielzeug
common.buy 15.80 €
Differenzierte Lesespurgeschichten Deutsch Grundschule Blomann / Buch Broschur
common.buy 25.63 €
Histoire Populaire Abregee de Napoleon III De Cassagnac-P / Buch Broschur
common.buy 15.19 €
Demnächst
La batalla de Elista : campeonato del mundo 2006 Zhyvko Ginchev / Buch Broschur
common.buy 33.13 €
Ensayos filosóficos y políticos Cristóbal Montes / Buch Broschur
common.buy 29.48 €
Opera Dogmatica Minora, in Illud; Tunc Et Ipse Filius: Opera Dogmatica Minora, Pars II Gregorius Nyssenus / Buch Hardcover
common.buy 270.99 €
LA PARTICIPACIÓN ESPAÑOLA EN LAS CRUZADAS FERNÁNDEZ DE NAVARRETE / Buch Broschur
common.buy 22.49 €
Death Magnetic Metallica / Audio Audio CD
common.buy 25.33 €
Bristol UK Aerial Photographs and Tourist Attractions Llewelyn Pritchard Ma / Buch Broschur
common.buy 12.76 €
Ballando Francesca Giraudo / Buch Broschur
common.buy 13.77 €
Memospiel Mein erstes Memo / Spiel/Spielzeug Spiel
common.buy 9.01 €
Psychopatologia życia codziennego Marzenia senne Sigmund Freud / Buch Broschur
common.buy 25.73 €
Plancha Lagandré / Buch Broschur
common.buy 8.60 €
Bad Romance, T3 : Coeurs imprudents Céline Mancellon / Buch Broschur
common.buy 13.98 €

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
Ewa Kasp
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

Das könnte Sie auch interessieren

Constructivism in Mathematics Troelstra / Buch Broschur
common.buy 60.59 €
World's Worst Children 2 David Walliams / Buch Broschur
common.buy 7.29 €
Life Changing Quotes for Management, Leadership and Work David Sparks / Buch Broschur
common.buy 10.83 €
Lori is Likeable: A collection of positive thoughts, hopes, dreams, and wishes. Genuine Journals / Buch Broschur
common.buy 10.83 €
Clouds in the Wind: A Passionately Told Story of Danger, Love and Tragdey MR Ian George MacKenzie / Buch Broschur
common.buy 17.52 €
The Final Sacrifice: Book Three of The Forsaken Trilogy MR Patrick C Van Slyke / Buch Broschur
common.buy 20.36 €
Internet Finance in China Ping Xie / E-Book Adobe ePub DRM
common.buy 76.20 €
Connect the Dots MR Don G Ford / Buch Broschur
common.buy 9.92 €
Bosch Reconstructed Paul / Buch Broschur
common.buy 29.79 €
Intelligent Computing, Networked Control, and Their Engineering Applications Dong Yue / Buch Broschur
common.buy 103.16 €
Exploring Translation in Language Learning Malgorzata Smentek / Buch Hardcover
common.buy 86.03 €
Critical Media Studies: An Introduction, 4th Editi on Brian L. (Missouri State University) Ott / Buch Broschur
common.buy 59.68 €
Top
Made Easy Rose Publishing / Buch Broschur
common.buy 7.19 €
When Your Way Isn't Working Bible Study Guide plus Streaming Video Kyle Idleman / E-Book Adobe ePub DRM
common.buy 13.16 €
Diller, Scofidio + Renfro: The Look Diller Scofidio &. Renfro / Buch Broschur
common.buy 107.01 €
Biodiesel: Advanced Approaches and Applications Kurt Marcel / Buch Hardcover
common.buy 95.76 €
Alan E F Benson / Buch Broschur
common.buy 24.41 €
Through a Canadian Periscope Julie H. Ferguson / Buch Broschur
common.buy 22.29 €
Christmas in My Heart Joe L. Wheeler / Buch Broschur
common.buy 12.05 €
Where the Path Breaks Charles Norris Williamson / Buch Hardcover
common.buy 35.26 €
Fractured Souls (Fallen Messengers Book 1) Salinger Ava Marie Salinger / Buch Hardcover
common.buy 29.28 €
Modern Greece, Two Lectures: With Papers On The Progress Of Greece And Byron In Greece (1880) Richard Claverhouse Jebb / Buch Broschur
common.buy 27.25 €
I Think Vs I Am Sudarshan R. Iyengar / Buch Broschur
common.buy 50.36 €
introduction to early Welsh John Strachan / Buch Broschur
common.buy 25.12 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto