Eker steven (7 resultados)
All About Maude - A High-Performance Logical Framework (Pb)
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
- Tapa blanda
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 55,39
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
All About Maude - A High-Performance Logical Framework (Pb)
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
- Tapa blanda
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de AmericaSMASS Sellers
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 57,93
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Condición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
All About Maude - A High-Performance Logical Framework : How to Specify, Program, and Verify Systems in Rewriting Logic
Clavel, Manuel; Duran, Francisco; Eker, Steven; Lincoln, Patrick; Marti-oliet, Narciso
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 114,37
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Programming and Software Engineering)
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 104,16
Envío por EUR 13,98Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
All About Maude - A High-Performance Logical Framework : How to Specify, Program, and Verify Systems in Rewriting Logic
Clavel, Manuel; Duran, Francisco; Eker, Steven; Lincoln, Patrick; Marti-oliet, Narciso
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 119,31
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
- Tapa blanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 108,72
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Bundle. Condición: New. Offers a comprehensive account of Maude, a language and system based on rewriting logicProvides examples to illustrate key concepts, features, and practical applicationsIncludes supplementary material: sn.pub/extrasMaude is a.
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 149,32
Envío por EUR 17,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. paperback/cd-rom edition. 794 pages. 9.00x6.00x1.25 inches. In Stock.
