Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)

Hailpern B., T.:

ISBN 10: 3540112057 ISBN 13: 9783540112051

Editorial: Springer, 2008

Idioma: Ingl�s

Usado Condici�n: Befriedigend Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Studibuch, Stuttgart, Alemania

Vendedor de AbeBooks desde 24 de abril de 2018

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa blanda

Condici�n: Befriedigend

Precio: EUR 6,99 Convertir moneda

EUR 13,90 gastos de env�o desde Alemania a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Seiten; 9783540112051.4 Gewicht in Gramm: 500.

N� de ref. del art�culo 689038

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)

Editor

Springer

Fecha de publicaci�n

2008

Idioma

Ingl�s

ISBN 10

3540112057

ISBN 13

9783540112051

Encuadernaci�n

paperback

Estado

Befriedigend

Cat�logos de vendedores

Varia

Acerca de

Sinopsis

es un libro, ver nuestra descripci�n completa

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Studibuch ist ein Onlineshop f�r Studien- und Fachb�cher. Bei uns bekommst Du gebrauchte und gut erhaltene Fachliteratur zu fairen Preisen. B�cher mehrmals zu verwenden bedeutet, knappe Ressourcen nachhaltig zu nutzen. Durch deinen Einkauf bei Studibuch entsteht eine Wertekette, die vollst�ndig auf nachhaltiges Wirtschaften ausgerichtet ist und ein Zeichen gegen die Wegwerfmentalit�t setzt. Wenn Du selbst noch gebrauchte Fachb�cher hast, die Du nicht mehr ben�tigst dann kannst Du sie auf Studibuch.de verkaufen. Mit Deinem Verkauf bei Studibuch schaffst Du Platz im Regal und kannst den Verkaufserl�s f�r ein neues Fachbuch nutzen. Der Verkauf funktioniert ganz einfach. Du gibst die ISBN oder den Buchtitel auf unserer Seite ein oder scannst mit der kostenlosen Studibuch App den Barcode des Buches. Jetzt fehlt nur noch eine Angabe zum Zustand und dann wird Dir direkt der Verkaufspreis genannt. Nachdem Du alle B�cher eingegeben hast, kannst Du �ber einen Link Deinen Paketschein ausdrucken und die B�cher an uns versenden. Nach Eintreffen der B�cher erh�ltst Du garantiert innerhalb von drei Werktagen Dein Geld.

Ver la p�gina web de la librer�a