Artículos relacionados a Algebraic Methodology and Software Technology: 5th...

Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings: 1101 (Lecture Notes in Computer Science) - Tapa blanda

 
9783540614630: Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings: 1101 (Lecture Notes in Computer Science)

Sinopsis

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.
The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.
The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.

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

Comprar usado

Condición: Bueno
Ex-library paperback in very nice...
Ver este artículo

EUR 5,94 gastos de envío en Estados Unidos de America

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 6,78 gastos de envío en Estados Unidos de America

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9780387614632: Algebraic Methodology and Software Technology: 5th International Conference, Amast '96, Munich, Germany, July 1-5, 1996 : Proceedings (Lecture Notes in Computer Science, 1101)

Edición Destacada

ISBN 10:  038761463X ISBN 13:  9780387614632
Tapa dura

Resultados de la búsqueda para Algebraic Methodology and Software Technology: 5th...

Imagen de archivo

Wirsing, Martin [Editor]; Nivat, Maurice [Editor];
Publicado por Springer, 1996
ISBN 10: 354061463X ISBN 13: 9783540614630
Antiguo o usado Paperback

Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Nº de ref. del artículo: DA1412468

Contactar al vendedor

Comprar usado

EUR 43,58
Convertir moneda
Gastos de envío: EUR 5,94
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Wirsing, Martin and Maurice Nivat:
Publicado por Springer, 1996
ISBN 10: 354061463X ISBN 13: 9783540614630
Antiguo o usado Broschiert

Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Broschiert. Condición: Gut. XII, 640 S. : graph. Darst. Der Buchzustand ist ordentlich erhalten und kann altersbedingte Gebrauchsspuren aufweisen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 870. Nº de ref. del artículo: 2143135

Contactar al vendedor

Comprar usado

EUR 44,95
Convertir moneda
Gastos de envío: EUR 12,95
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Wirsing, Martin; Nivat, Maurice
Publicado por Springer, 1996
ISBN 10: 354061463X ISBN 13: 9783540614630
Nuevo Tapa blanda

Librería: Best Price, Torrance, CA, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9783540614630

Contactar al vendedor

Comprar nuevo

EUR 95,78
Convertir moneda
Gastos de envío: EUR 6,78
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Wirsing, Martin; Nivat, Maurice
Publicado por Springer, 1996
ISBN 10: 354061463X ISBN 13: 9783540614630
Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020172304

Contactar al vendedor

Comprar nuevo

EUR 102,56
Convertir moneda
Gastos de envío: EUR 3,39
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Wirsing, Martin and Maurice Nivat:
Publicado por Springer, 1996
ISBN 10: 354061463X ISBN 13: 9783540614630
Antiguo o usado Tapa blanda

Librería: NEPO UG, Rüsselsheim am Main, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Gut. Auflage: 1996. 660 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Markierungen / Sprache: Englisch Gewicht in Gramm: 969 23,1 x 15,2 x 3,3 cm, Taschenbuch. Nº de ref. del artículo: 371162

Contactar al vendedor

Comprar usado

EUR 82,65
Convertir moneda
Gastos de envío: EUR 24,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Wirsing, Martin; Nivat, Maurice
Publicado por Springer, 1996
ISBN 10: 354061463X ISBN 13: 9783540614630
Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. In. Nº de ref. del artículo: ria9783540614630_new

Contactar al vendedor

Comprar nuevo

EUR 115,79
Convertir moneda
Gastos de envío: EUR 13,80
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Maurice Nivat
ISBN 10: 354061463X ISBN 13: 9783540614630
Nuevo Taschenbuch
Impresión bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations. 660 pp. Englisch. Nº de ref. del artículo: 9783540614630

Contactar al vendedor

Comprar nuevo

EUR 106,99
Convertir moneda
Gastos de envío: EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen del vendedor

Wirsing, Martin|Nivat, Maurice
Publicado por Springer Berlin Heidelberg, 1996
ISBN 10: 354061463X ISBN 13: 9783540614630
Nuevo Tapa blanda
Impresión bajo demanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST 96, held in Munich, Germany, in July 1996.The book presents 25 revised full papers selected from a total of 67 su. Nº de ref. del artículo: 4895615

Contactar al vendedor

Comprar nuevo

EUR 92,27
Convertir moneda
Gastos de envío: EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Wirsing, Martin; Nivat, Maurice
Publicado por Springer, 1996
ISBN 10: 354061463X ISBN 13: 9783540614630
Nuevo Tapa blanda

Librería: Books Puddle, New York, NY, Estados Unidos de America

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. pp. 660. Nº de ref. del artículo: 263106693

Contactar al vendedor

Comprar nuevo

EUR 148,39
Convertir moneda
Gastos de envío: EUR 3,39
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 4 disponibles

Añadir al carrito

Imagen de archivo

Wirsing, Martin; Nivat, Maurice
Publicado por Springer, 1996
ISBN 10: 354061463X ISBN 13: 9783540614630
Nuevo Tapa blanda
Impresión bajo demanda

Librería: Majestic Books, Hounslow, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Print on Demand pp. 660 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Nº de ref. del artículo: 5822554

Contactar al vendedor

Comprar nuevo

EUR 153,48
Convertir moneda
Gastos de envío: EUR 7,49
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 4 disponibles

Añadir al carrito

Existen otras 3 copia(s) de este libro

Ver todos los resultados de su búsqueda