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

Verifying Concurrent Processes Using Temporal Logic

Língua InglêsInglês
Livro Capa mole
Livro Verifying Concurrent Processes Using Temporal Logic B. T. Hailpern
Código Libristo: 01557740
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
? points 132 b
54.41 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

In das Feuer James Rosone / Livro Capa mole
common.buy 15.77 €
Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott / Livro Capa mole
common.buy 7.98 €
Taśma Washi Tape Neon Narcissus / Livro binding.
common.buy 26.49 €
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Livro binding.
common.buy 48.34 €
The Student's Persian and English Dictionary, Pronouncing, Etymological, & Explanatory Byramji Sorabshaw / Livro Capa mole
common.buy 29.73 €
BABADADA, Shona - Espanol de Mexico con articulos, duramazwi rine mifananidzo - el diccionario visual Babadada Gmbh / Livro Capa mole
common.buy 28.31 €
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Livro Capa mole
common.buy 24.07 €
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / E-book Adobe ePub DRM
common.buy 8.08 €
Si te vuelvo a ver manana Robbie Couch / E-book Adobe ePub DRM
common.buy 9.90 €
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Artigos impressos Mapa
common.buy 5.96 €
Bibliotheken Candida Höfer / Livro Livro de capa dura
common.buy 71.61 €
Alimentární infekce Václav Vacek / Livro Livro de capa dura
common.buy 5.86 €
De La Signification Des Mots, Volume 2... Auguste Savagner / Livro Livro de capa dura
common.buy 36.41 €
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Livro Capa mole
common.buy 6.36 €
Manuál terapie systémů vnitřní rodiny - Léčba úzkosti, deprese a traumatu pomocí IFS Frank Anderson / Livro Capa mole
common.buy 13.85 €
Der kleine Hui Buh - 01/3er Spuk und Hex Box ( Folgen 1,2,3) Ulrike Rogler / Áudio CD de áudio
common.buy 14.25 €
Planificación de recursos humanos en las administraciones públicas : gestión y desarrollo de personas en tiempos de austeridad Alfredo Rodríguez Gurtubay / Livro Capa mole
common.buy 25.08 €
Buenos días, ángel de mi guarda : doctrina y devocionario angélico Rafael María López Melús / Livro Capa mole
common.buy 11.42 €
La Mirora mata els dimarts Josep . . . [et al. ] Torrent / Livro Capa mole
common.buy 19.31 €
Veure, tocar i aprendre. Vesteix-te! Diversos / Livro Capa mole
common.buy 10.21 €
Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler / Livro Capa mole
common.buy 15.16 €
Bree Tannerin Ikinci Hayati Stephenie Meyer / Livro Capa mole
common.buy 12.84 €
Como disciplinar a tus hijos Roy Lessin / Livro Capa mole
common.buy 10.81 €
Separacion de uranio en restos oseos para la datacion de estos Genoveva García Rosales / Livro Capa mole
common.buy 146.77 €
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 Verifying Concurrent Processes Using Temporal Logic
Autor B. T. Hailpern
Língua Inglês
Encadernação Livro - Capa mole
Número de páginas 209
EAN 9783540112051
ISBN 3540112057
Código Libristo 01557740
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 700
Dimensões 155 x 233 x 13

Categorias

Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Programação & engenharia informática
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

Iterative Software Engineering for Multiagent Systems Jürgen Lind / Livro Capa mole
common.buy 58.46 €
Surgical Anatomy of Head and Neck Jan Helms / Livro Capa mole
common.buy 148.69 €
Star Formation in Galaxy Evolution: Connecting Numerical Models to Reality Nickolay Y Gnedin / Livro Capa mole
common.buy 116.93 €
Drive: The Road to Victory Joyz W Riter / Livro Capa mole
common.buy 19.31 €
Calm with The Very Hungry Caterpillar Eric Carle / Livro Livro de capa dura
common.buy 8.39 €
Book Series: Increasing Productivity of Software Development, Part 1: Productivity and Performance Measurement - Measurability and Methods Stefan Luckhaus / Livro Livro de capa dura
common.buy 28.41 €
Principal
Smith-Waite Tarot Deck Borderless Pamela Colman Smith / Artigos impressos Cartões
common.buy 18.20 €
I'm Limping Very Well, Thank You: Mind. Mood. Motivation W Nicholas Abraham Phd / Livro Capa mole
common.buy 14.76 €
Plans for World Domination: Build Good Habits & Break Bad Ones: Embracing and Achieving Your Goals Creative Designs Journal / Livro Capa mole
common.buy 7.48 €
The Devil: His Origin, Greatness and Decadence Albert Reville / Livro Capa mole
common.buy 22.14 €
Transformation Donna V / Livro Capa mole
common.buy 16.58 €
Cybersecurity Exposed Raef Meeuwisse / Livro Livro de capa dura
common.buy 25.08 €
Anyone Can Be Saved David L. Allen / Livro Livro de capa dura
common.buy 35.60 €
Her Majesty the Queen, as Seen by MAC Mark Bryant / Livro Capa mole
common.buy 11.22 €
Registrar General of Marriages, Births and Deaths in Ireland Registrar General of Marriages / Livro Capa mole
common.buy 19.92 €
Francis Asbury: Circuit Rider Janet Benge / Livro Capa mole
common.buy 9.90 €
UNTITLED FORSAKEN TRILOGY BOOK 3 RJ BARKER / Livro Capa mole
common.buy 18.40 €
Emperor Penguins Howard Gray / Livro Capa mole
common.buy 11.22 €
Torchwood #83 Disco Gareth David-Lloyd / Áudio CD de áudio
common.buy 11.62 €
Machine Translation and Foreign Language Learning Kizito Tekwa / E-book Adobe ePub DRM
common.buy 187.64 €
Paper World: Ocean Ruth Symons / Livro Livro de capa dura
common.buy 18.00 €
Gene and Cell Therapy: Biology and Applications Giridhara R. Jayandharan / E-book Adobe ePub DRM
common.buy 241.45 €
Old Czech Recipes for Today's Kitchens: Czech Festival of Foods Neb ). Clarkson Woman's Club (Clarkson / Livro Livro de capa dura
common.buy 26.90 €
Org Mode 9.2 Reference Manual Carsten Dominik / Livro Capa mole
common.buy 18.00 €

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