Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Introduction to Process Algebra

Língua InglêsInglês
Livro Livro de capa dura
Livro Introduction to Process Algebra Wan Fokkink
Código Libristo: 01567116
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, dezembro 1999
Automated and semi-automated manipulation of so-called labelled transition systems has become an imp... Descrição completa
? points 129 b
53.30 €
Armazenamento externalo em pequenas quantidades Envio em 11-15 dias

Até 30 dias para devoluções

Os clientes também compraram

200 Jahre Psychiatrie an Der Universitat Leipzig Matthias C. Angermeyer / Livro Livro
common.buy 57.96 €
Autogenes Training: Durch Selbsthypnose und Autosuggestion Stress abbauen, besser einschlafen und Konzentration steigern - inkl. Meditation gegen Rück / Livro Capa mole
common.buy 12.66 €
Falk Stadtplan Extra Frankfurt am Main 1:20.000 / Artigos impressos Mapa
common.buy 7.79 €
Historia mundiali. Tom 1. 1930–1974 Leszek Jarosz / Livro Livro de capa dura
common.buy 14.68 €
Zajęcia rewalidacyjne Zeszyt ćwiczeń dla szkoły podstawowej Klasy 7-8 Część 2 Pańczyk Jolanta / Livro Capa mole
common.buy 8.91 €
Dziewięć kołatek Troya Czarnecka-Suls Alicja / Livro Capa mole
common.buy 8.40 €
Velebím Kaylene Brown / Livro Livro de capa dura
common.buy 13.06 €
Krisen meistern Daniela Landgraf / E-book Adobe ePub DRM
common.buy 11.24 €
Principal
Po stopách vlka Cami Wolf / Livro Capa mole
common.buy 10.53 €
Económico
HUDEBNÍ KVÍZY Martin Vozar / Livro Capa mole
common.buy 5.87 €
Demografický vývoj a typologie českého venkova v kontextu prostorových souvisl. Renáta Klufová / Livro Capa mole
common.buy 19.95 €
A rút kiskacsa + 6 darab puzzle / Livro Livro concertina
common.buy 4.14 €
Questionnaire Français. Questions On French Grammar, Idiomatic Difficulties and Military Expressions / Livro Capa mole
common.buy 19.75 €
Raclette Borut Golob / Livro Capa mole
common.buy 7.39 €
Carl Gottlieb Svarez: Gesammelte Schriften / Zweite Abteilung: Die Preußische Rechtsreform. I. Das Allgemeine Landrecht: Die Texte. C. Gemeinsames Reg Carl G. Svarez / Livro Livro de capa dura
common.buy 77.82 €
Denn das Thema der Dichtung ist immer der Mensch Carolin Mülverstedt / Livro Capa mole
common.buy 31.91 €
corazon del lider Jon Byler / Livro Capa mole
common.buy 11.64 €
Clara Viebig DIE PASSION Clara Viebig / Livro Capa mole
common.buy 23.10 €
Obras escogidas V : fundamentos de defectología Lev Semionovich Vygotski / Livro Capa mole
common.buy 23.50 €
Fenomenología, semiótica y derecho Carlos Alarcón Cabrera / Livro Capa mole
common.buy 16.10 €
St.-Johannis-Nachts-Traum William Shakespeare / Livro Capa mole
common.buy 21.27 €
Bau- und Kunstdenkmaler der Provinz Ostpreussen Adolf Boetticher / Livro Capa mole
common.buy 19.75 €
Jugendgewalt als soziales Problem Lisa Aberle / Livro Capa mole
common.buy 22.18 €
Die gemeinnützige Stiftung - Der gemeinnützige Fonds Beatrix Schwar / Livro Capa mole
common.buy 28.06 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Introduction to Process Algebra
Autor Wan Fokkink
Língua Inglês
Encadernação Livro - Livro de capa dura
Data de emissão 1999
Número de páginas 168
EAN 9783540665793
ISBN 354066579X
Código Libristo 01567116
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 950
Dimensões 155 x 235 x 14

Categorias

Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática > Matemática para investigadores informáticos
Matemática & ciência > Matemática > Álgebra
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Tecnologia da informação: generalidades
Informática & tecnologia da informação > Aplicações empresariais
Informática & tecnologia da informação > Equipamento informático
Informática & tecnologia da informação > Sistemas operativos
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Combinatorial Algorithms Jiri Fiala / Livro Capa mole
common.buy 53.30 €
Blossom Among Flowers Jay E Tria / Livro Capa mole
common.buy 13.37 €
Cities and Citizenship James Holston / Livro Capa mole
common.buy 34.55 €
Value-based Human Resource Strategy Laura Brown / Livro Capa mole
common.buy 70.63 €
Confessions of a Househusband Alan Tapley / Livro Capa mole
common.buy 13.87 €
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 / Livro Capa mole
common.buy 23.30 €
Em breve
Byzantine Art and Italian Panel Painting Jaroslav Folda / Livro Livro de capa dura
common.buy 136.50 €
Ask Mr. Bear Marjorie Flack / Livro Livro de capa dura
common.buy 13.77 €
Nelson Mandela Beatrice Gormley / Livro Capa mole
common.buy 7.79 €
1 and 2 Chronicles Enrichment Magazine Reed Lessing / Livro Capa mole
common.buy 13.87 €
Human Induced Environmental Threats Rosemary Charles / Livro Livro de capa dura
common.buy 111.88 €
Studies in Stanzas ROBERT HENRY NEWELL / Livro Capa mole
common.buy 26.24 €
An Account of Two Remarkable Trials for Murder, in the Counties of Gloucester and Essex Thomas Overbury / Livro Capa mole
common.buy 13.98 €
Classical Sheet Music For Flute With Flute & Piano Duets Book 2 Michael Shaw / Livro Capa mole
common.buy 9.31 €
Mathematical Finance M J Alhabeeb / Livro Livro de capa dura
common.buy 117.55 €
Artful Experiments ERCHINGER PHILIPP / Livro Capa mole
common.buy 41.24 €
A Plea for Liberty Thomas Mackay / Livro Capa mole
common.buy 25.02 €
Seeley's Essentials of Anatomy and Physiology Patton / Livro Livro de capa dura
common.buy 99.11 €
The Marquis She's Been Waiting For Ella Quinn / Livro Capa mole
common.buy 11.54 €
Bundle: Pathways: Listening, Speaking, and Critical Thinking 2, 2nd Student Edition + Online Workbook (1-year access) / Livro Capa mole
common.buy 33.74 €
Love Me for Who I Am Vol. 2 Kata Konayama / Livro Capa mole
common.buy 9.31 €
The Bayard of India: A Life of General Sir James Outram (1903) Lionel James Trotter / Livro Capa mole
common.buy 27.86 €
Nature Neighbors - Dots Lines Spirals Coloring Book: New kind of stress relief coloring book for adults Dots And Lines Spirals Coloring Book / Livro Capa mole
common.buy 6.88 €
Sex With My Family Jessica Anne / Livro Capa mole
common.buy 9.92 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?