Eker steven (6 Ergebnisse)
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
- Softcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 56,46
Versand gratisVersand innerhalb von USAAnzahl: 5 verfügbar
Zustand: 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 : How to Specify, Program, and Verify Systems in Rewriting Logic
Clavel, Manuel; Duran, Francisco; Eker, Steven; Lincoln, Patrick; Marti-oliet, Narciso
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 116,56
EUR 2,35 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: 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
Clavel, Manuel; Duran, Francisco; Eker, Steven; Lincoln, Patrick; Marti-oliet, Narciso
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 123,43
EUR 2,35 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New.
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science, 4350)
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 115,88
EUR 17,61 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 108,72
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Bundle. Zustand: 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.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 151,92
EUR 17,68 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. paperback/cd-rom edition. 794 pages. 9.00x6.00x1.25 inches. In Stock.
