«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.

Verifying Concurrent Processes Using Temporal Logic

Idioma InglésInglés
Libro Tapa blanda
Libro Verifying Concurrent Processes Using Temporal Logic B. T. Hailpern
Código Libristo: 01557740
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

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

Clientes que también han comprado

In das Feuer James Rosone / Libro Tapa blanda
common.buy 16.49 €
PRELUDE La jeunesse de Sherlock Holmes 1 Pardeilhan / Libro Tapa blanda
common.buy 25.39 €
L-ASPARGINASE- Ein potentes Bio-Therapie-Enzym fur Krebs Sahoo Debasish Sahoo / Libro Tapa blanda
common.buy 54.09 €
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Artículos impresos Mapa
common.buy 7.39 €
Quadern Clau Q-9 Divisibilitat. Matematiques. Jimeno Jimenez / Libro Tapa blanda
common.buy 7.89 €
Las mutuas de accidentes de trabajo y enfermedades profesionales. Doctrina, jurisprudencia, formular José Francisco Blasco Lahoz / Libro binding.
common.buy 94.99 €
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Libro binding.
common.buy 51.19 €
Taśma Washi Tape Neon Narcissus / Libro binding.
common.buy 30.29 €
Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott / Libro Tapa blanda
common.buy 8.89 €
Einfach Autos zeichnen - Schritt fur Schritt zu perfekten Motiven! Vasco Kintzel / Libro Tapa blanda
common.buy 9.89 €
Bibliotheken Candida Höfer / Libro Tapa dura
common.buy 75.69 €
The Student's Persian and English Dictionary, Pronouncing, Etymological, & Explanatory Byramji Sorabshaw / Libro Tapa blanda
common.buy 30.79 €
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Libro Tapa blanda
common.buy 24.99 €
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / Libro electrónico Adobe ePub DRM
common.buy 8.49 €
Si te vuelvo a ver manana Robbie Couch / Libro electrónico Adobe ePub DRM
common.buy 10.49 €
Alimentární infekce Václav Vacek / Libro Tapa dura
common.buy 5.99 €
De La Signification Des Mots, Volume 2... Auguste Savagner / Libro Tapa dura
common.buy 37.69 €
Como disciplinar a tus hijos Roy Lessin / Libro Tapa blanda
common.buy 11.29 €
Běžkyně Peter May / Libro Tapa blanda
common.buy 3.79 €
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Libro Tapa blanda
common.buy 6.29 €
Bree Tannerin Ikinci Hayati Stephenie Meyer / Libro Tapa blanda
common.buy 13.29 €
Les Cent Vingt Journées de Sodome Marquis de Sade / Libro Tapa blanda
common.buy 21.89 €
Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler / Libro Tapa blanda
common.buy 15.89 €
Veure, tocar i aprendre. Vesteix-te! Diversos / Libro Tapa blanda
common.buy 10.79 €
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 Verifying Concurrent Processes Using Temporal Logic
Autor B. T. Hailpern
Idioma Inglés
Encuadernación Libro - Tapa blanda
Número de páginas 209
EAN 9783540112051
ISBN 3540112057
Código Libristo 01557740
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 700
Dimensiones 155 x 233 x 13

Categorías

Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Programación informática/desarrollo de software
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

Iterative Software Engineering for Multiagent Systems Jürgen Lind / Libro Tapa blanda
common.buy 60.39 €
Surgical Anatomy of Head and Neck Jan Helms / Libro Tapa blanda
common.buy 154.79 €
Book Series: Increasing Productivity of Software Development, Part 1: Productivity and Performance Measurement - Measurability and Methods Stefan Luckhaus / Libro Tapa dura
common.buy 29.69 €
Allegations Against the Countess of Strathmore, Given in to the Court of Arches, in Doctors Commons, by Andrew Robinson Bowes, Esq. Andrew Robinson Stoney Bowes / Libro Tapa blanda
common.buy 16.89 €
Data Mining Patterns Maguelonne Teisseire / Libro Tapa dura
common.buy 211.19 €
Gruffalo Julia Donaldson / Libro Libro
common.buy 20.49 €
One Man's Dream: My Town, My Team, My Time. Frank White / Libro Tapa dura
common.buy 24.59 €
Francis Asbury: Circuit Rider Janet Benge / Libro Tapa blanda
common.buy 10.39 €
Registrar General of Marriages, Births and Deaths in Ireland Registrar General of Marriages / Libro Tapa blanda
common.buy 20.79 €
Her Majesty the Queen, as Seen by MAC Mark Bryant / Libro Tapa blanda
common.buy 12.69 €
Cybersecurity Exposed Raef Meeuwisse / Libro Tapa dura
common.buy 25.99 €
The Devil: His Origin, Greatness and Decadence Albert Reville / Libro Tapa blanda
common.buy 22.99 €
Drive: The Road to Victory Joyz W Riter / Libro Tapa blanda
common.buy 20.09 €
I'm Limping Very Well, Thank You: Mind. Mood. Motivation W Nicholas Abraham Phd / Libro Tapa blanda
common.buy 15.39 €
Popular
Smith-Waite Tarot Deck Borderless Pamela Colman Smith / Artículos impresos Tarjetas
common.buy 19.19 €
Anyone Can Be Saved David L. Allen / Libro Tapa dura
common.buy 37.39 €
Calm with The Very Hungry Caterpillar Eric Carle / Libro Tapa dura
common.buy 8.89 €
Org Mode 9.2 Reference Manual Carsten Dominik / Libro Tapa blanda
common.buy 18.59 €
Plans for World Domination: Build Good Habits & Break Bad Ones: Embracing and Achieving Your Goals Creative Designs Journal / Libro Tapa blanda
common.buy 7.79 €
Restless in the Grave: A Kate Shugak Novel Dana Stabenow / Libro Tapa blanda
common.buy 21.19 €
The Work And Workers Of The British Association For The Advancement Of Science (1884) Cornelius Nicholson / Libro Tapa blanda
common.buy 20.99 €
Económico
Teaching Entrepreneurship, Volume Two - A Practice-Based Approach Heidi M. Neck / Libro Tapa blanda
common.buy 37.49 €
UNTITLED FORSAKEN TRILOGY BOOK 3 RJ BARKER / Libro Tapa blanda
common.buy 19.89 €
Gene and Cell Therapy: Biology and Applications Giridhara R. Jayandharan / Libro electrónico Adobe ePub DRM
common.buy 252.99 €

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