Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Introduction to Process Algebra

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

Wan Fokkink

Lingua

Inglese

Libro Rigido

Codice Libristo: 01567116

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, dicembre 1999

Automated and semi-automated manipulation of so-called labelled transition systems has become an imp... Descrizione completa

Codice Libristo: 01567116

109 b

44.39 €

Magazzino esterno Inviamo tra 10-13 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

200 Jahre Psychiatrie an Der Universitat Leipzig Matthias C. Angermeyer

Libro

45.59 €

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

In brossura

12.49 €

Falk Stadtplan Extra Frankfurt am Main 1:20.000

Mappa

7.69 €

Historia mundiali. Tom 1. 1930–1974 Leszek Jarosz

Rigido

13.59 €

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

In brossura

8.29 €

Dziewięć kołatek Troya Czarnecka-Suls Alicja

In brossura

7.69 €

Velebím Kaylene Brown

Rigido

11.99 €

Krisen meistern Daniela Landgraf

Adobe ePub DRM

11.09 €

Po stopách vlka Cami Wolf

In brossura

10.79 €

HUDEBNÍ KVÍZY Martin Vozar

In brossura

5.79 €

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

In brossura

20.19 €

A rút kiskacsa + 6 darab puzzle

Leporello

3.79 €

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

In brossura

19.49 €

Raclette Borut Golob

In brossura

7.49 €

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

Rigido

72.49 €

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

In brossura

29.59 €

corazon del lider Jon Byler

In brossura

10.79 €

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

In brossura

22.29 €

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

In brossura

15.09 €

Clara Viebig DIE PASSION Clara Viebig

In brossura

21.39 €

St.-Johannis-Nachts-Traum William Shakespeare

In brossura

10.19 €

Bau- und Kunstdenkmaler der Provinz Ostpreussen Adolf Boetticher

In brossura

13.29 €

Jugendgewalt als soziales Problem Lisa Aberle

In brossura

21.89 €

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

In brossura

26.09 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Introduction to Process Algebra

Autore Wan Fokkink

Lingua

Inglese

Rilegatura Libro - Rigido

Data di pubblicazione 1999

Numero di pagine 168

EAN 9783540665793

ISBN 354066579X

Codice Libristo 01567116

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

Peso 950

Dimensioni 155 x 235 x 14

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione > Matematica per informatici

Matematica e Scienze > Matematica > Algebra

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Informatica: argomenti di interesse generale

Informatica e Tecnologia dell’Informazione > Applicazioni aziendali

Informatica e Tecnologia dell’Informazione > Hardware informatico

Informatica e Tecnologia dell’Informazione > Sistemi operativi

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Combinatorial Algorithms Jiri Fiala

In brossura

45.49 €

Blossom Among Flowers Jay E Tria

In brossura

12.39 €

Cities and Citizenship James Holston

In brossura

32.39 €

Value-based Human Resource Strategy Laura Brown

In brossura

69.69 €

Confessions of a Househusband Alan Tapley

In brossura

12.99 €

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

In brossura

21.39 €