phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Introduction to Process Algebra

Limba englezăengleză
Carte Copertă tare
Carte Introduction to Process Algebra Wan Fokkink
Codul Libristo: 01567116
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, decembrie 1999
Automated and semi-automated manipulation of so-called labelled transition systems has become an imp... Descrierea completă
? points 161 b
325 lei
În depozitul extern în cantități mici Expediem în 10-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Demografický vývoj a typologie českého venkova v kontextu prostorových souvisl. Renáta Klufová / Carte broșată
common.buy 79 lei
International Workshop on Positrons at Jefferson Lab Latifa Elouadrhiri / Carte broșată
common.buy 576 lei
Jugendgewalt als soziales Problem Lisa Aberle / Carte broșată
common.buy 241 lei
Mobile Phone Programming Frank H. P. Fitzek / Copertă tare
common.buy 568 lei
Denn das Thema der Dichtung ist immer der Mensch Carolin Mülverstedt / Carte broșată
common.buy 181 lei
St.-Johannis-Nachts-Traum William Shakespeare / Carte broșată
common.buy 131 lei
Carl Gottlieb Svarez: Gesammelte Schriften / Zweite Abteilung: Die Preußische Rechtsreform. I. Das Allgemeine Landrecht: Die Texte. C. Gemeinsames Reg Carl G. Svarez / Copertă tare
common.buy 437 lei
Rolle der Massenmedien bei der Aufklarung und der Bekampfung politischer Korruption in der Bundesrepublik Stephan Framke Framke / Carte broșată
common.buy 369 lei
Omnidirectional Vision Systems Luis Puig / Carte broșată
common.buy 325 lei
Educational Research Primer Anthony G Picciano / Copertă tare
common.buy 1.561 lei
Die gemeinnützige Stiftung - Der gemeinnützige Fonds Beatrix Schwar / Carte broșată
common.buy 158 lei
Entwicklung des Althochdeutschen im Zusammenhang mit dem historischem Hintergrund Erik Tuchtfeld / Carte broșată
common.buy 51 lei
Combinatorial Algorithms Jiri Fiala / Carte broșată
common.buy 325 lei
Hochschullehrer als Prufer Norman Peter Koschmieder / Carte broșată
common.buy 216 lei
Kernwaffensperrvertrag - Herausforderungen und Entwicklungen des Nuklearen Nichtverbreitungsregimes Liza Torres / Carte broșată
common.buy 241 lei
Beteiligungsbewertung im Konzern nach der Equity-Methode (HGB) Larissa Maidhof / Carte broșată
common.buy 193 lei

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.

Informații despre carte

Titlu complet Introduction to Process Algebra
Autor Wan Fokkink
Limba engleză
Legare Carte - Copertă tare
Data publicării 1999
Număr pagini 168
EAN 9783540665793
ISBN 354066579X
Codul Libristo 01567116
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 950
Dimensiuni 155 x 235 x 14

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo