«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Introduction to Process Algebra

Idioma InglésInglés
Libro Tapa dura
Libro Introduction to Process Algebra Wan Fokkink
Código Libristo: 01567116
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, diciembre 1999
Automated and semi-automated manipulation of so-called labelled transition systems has become an imp... Descripción completa
? points 148 b
60.39 €
Almacenamiento externo en pequeñas cantidades Envío en 11-15 días

Política de devolución de 30 días

Clientes que también han comprado

200 Jahre Psychiatrie an Der Universitat Leipzig Matthias C. Angermeyer / Libro Libro
common.buy 65.69 €
Autogenes Training: Durch Selbsthypnose und Autosuggestion Stress abbauen, besser einschlafen und Konzentration steigern - inkl. Meditation gegen Rück / Libro Tapa blanda
common.buy 15.89 €
Falk Stadtplan Extra Frankfurt am Main 1:20.000 / Artículos impresos Mapa
common.buy 9.79 €
Historia mundiali. Tom 1. 1930–1974 Leszek Jarosz / Libro Tapa dura
common.buy 17.79 €
Zajęcia rewalidacyjne Zeszyt ćwiczeń dla szkoły podstawowej Klasy 7-8 Część 2 Pańczyk Jolanta / Libro Tapa blanda
common.buy 10.89 €
Dziewięć kołatek Troya Czarnecka-Suls Alicja / Libro Tapa blanda
common.buy 10.39 €
Velebím Kaylene Brown / Libro Tapa dura
common.buy 16.19 €
Krisen meistern Daniela Landgraf / Libro electrónico Adobe ePub DRM
common.buy 13.89 €
Popular
Po stopách vlka Cami Wolf / Libro Tapa blanda
common.buy 13.59 €
Económico
HUDEBNÍ KVÍZY Martin Vozar / Libro Tapa blanda
common.buy 5.79 €
Demografický vývoj a typologie českého venkova v kontextu prostorových souvisl. Renáta Klufová / Libro Tapa blanda
common.buy 24.79 €
A rút kiskacsa + 6 darab puzzle / Libro Libro de concertinas
common.buy 4.69 €
Questionnaire Français. Questions On French Grammar, Idiomatic Difficulties and Military Expressions / Libro Tapa blanda
common.buy 23.89 €
Raclette Borut Golob / Libro Tapa blanda
common.buy 9.49 €
Carl Gottlieb Svarez: Gesammelte Schriften / Zweite Abteilung: Die Preußische Rechtsreform. I. Das Allgemeine Landrecht: Die Texte. C. Gemeinsames Reg Carl G. Svarez / Libro Tapa dura
common.buy 91.29 €
Denn das Thema der Dichtung ist immer der Mensch Carolin Mülverstedt / Libro Tapa blanda
common.buy 37.79 €
corazon del lider Jon Byler / Libro Tapa blanda
common.buy 13.79 €
Clara Viebig DIE PASSION Clara Viebig / Libro Tapa blanda
common.buy 27.29 €
Obras escogidas V : fundamentos de defectología Lev Semionovich Vygotski / Libro Tapa blanda
common.buy 25.59 €
Fenomenología, semiótica y derecho Carlos Alarcón Cabrera / Libro Tapa blanda
common.buy 17.69 €
St.-Johannis-Nachts-Traum William Shakespeare / Libro Tapa blanda
common.buy 23.99 €
Bau- und Kunstdenkmaler der Provinz Ostpreussen Adolf Boetticher / Libro Tapa blanda
common.buy 22.79 €
Jugendgewalt als soziales Problem Lisa Aberle / Libro Tapa blanda
common.buy 27.69 €
Die gemeinnützige Stiftung - Der gemeinnützige Fonds Beatrix Schwar / Libro Tapa blanda
common.buy 32.99 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Introduction to Process Algebra
Autor Wan Fokkink
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 1999
Número de páginas 168
EAN 9783540665793
ISBN 354066579X
Código Libristo 01567116
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 950
Dimensiones 155 x 235 x 14

Categorías

Computación e informática > Ciencias de la computación > Teoría matemática de la computación > Matemáticas para informáticos
Matemáticas y ciencias > Matemáticas > Álgebra
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Tecnología de la información: cuestiones generales
Computación e informática > Aplicaciones empresariales y de negocios
Computación e informática > Hardware (o soporte físico del ordenador)
Computación e informática > Sistemas operativos
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Combinatorial Algorithms Jiri Fiala / Libro Tapa blanda
common.buy 60.39 €
Blossom Among Flowers Jay E Tria / Libro Tapa blanda
common.buy 15.39 €
Cities and Citizenship James Holston / Libro Tapa blanda
common.buy 39.09 €
Value-based Human Resource Strategy Laura Brown / Libro Tapa blanda
common.buy 78.49 €
Confessions of a Househusband Alan Tapley / Libro Tapa blanda
common.buy 15.89 €
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 / Libro Tapa blanda
common.buy 27.89 €
Próximamente
Byzantine Art and Italian Panel Painting Jaroslav Folda / Libro Tapa dura
common.buy 154.89 €
Ask Mr. Bear Marjorie Flack / Libro Tapa dura
common.buy 16.49 €
Nelson Mandela Beatrice Gormley / Libro Tapa blanda
common.buy 9.59 €
1 and 2 Chronicles Enrichment Magazine Reed Lessing / Libro Tapa blanda
common.buy 16.49 €
Human Induced Environmental Threats Rosemary Charles / Libro Tapa dura
common.buy 130.29 €
Studies in Stanzas ROBERT HENRY NEWELL / Libro Tapa blanda
common.buy 30.29 €
An Account of Two Remarkable Trials for Murder, in the Counties of Gloucester and Essex Thomas Overbury / Libro Tapa blanda
common.buy 16.89 €
Classical Sheet Music For Flute With Flute & Piano Duets Book 2 Michael Shaw / Libro Tapa blanda
common.buy 10.69 €
Mathematical Finance M J Alhabeeb / Libro Tapa dura
common.buy 134.69 €
Artful Experiments ERCHINGER PHILIPP / Libro Tapa blanda
common.buy 46.29 €
A Plea for Liberty Thomas Mackay / Libro Tapa blanda
common.buy 29.59 €
Seeley's Essentials of Anatomy and Physiology Patton / Libro Tapa dura
common.buy 118.29 €
The Marquis She's Been Waiting For Ella Quinn / Libro Tapa blanda
common.buy 14.59 €
Bundle: Pathways: Listening, Speaking, and Critical Thinking 2, 2nd Student Edition + Online Workbook (1-year access) / Libro Tapa blanda
common.buy 39.29 €
Love Me for Who I Am Vol. 2 Kata Konayama / Libro Tapa blanda
common.buy 11.19 €
The Bayard of India: A Life of General Sir James Outram (1903) Lionel James Trotter / Libro Tapa blanda
common.buy 33.69 €
Nature Neighbors - Dots Lines Spirals Coloring Book: New kind of stress relief coloring book for adults Dots And Lines Spirals Coloring Book / Libro Tapa blanda
common.buy 7.99 €
Sex With My Family Jessica Anne / Libro Tapa blanda
common.buy 11.89 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?