Published by Dayjams, 2005
Seller: 2Vbooks, Derwood, MD, U.S.A.
Trade paperback. Condition: Very good. No previous owner's name SC 110.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer Berlin / Heidelberg, 2003
ISBN 10: 3540006249 ISBN 13: 9783540006244
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Seller: SZ Global, Toronto, ON, Canada
Paperback.
Condition: New.
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Condition: New.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Paperback or Softback. Condition: New. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Bïż½rger on the Occasion of His 75th Birthday. Book.
Condition: As New. Unread book in perfect condition.
Condition: As New. Unread book in perfect condition.
Published by Palermo, Sellerio 2004., 2004
Seller: Libreria Gullà, Roma, RM, Italy
In-8° pp. 540, bross. edit. ill.
Brossura. Condition: new. Osimo, 2023; br., pp. 124, cm 15x20,5.(Mari Interni. 66). Libro.
Paperback. Condition: New.
Paperback. Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
paperback. Condition: Very Good.
Seller: Genesis Books, Fonte Nuova, RM, Italy
paperback. Condition: Good. Il cofanetto (se previsto) può presentare modeste tracce d'uso, piccole lesioni, fioriture e macchie non invasive. Sovraccoperta con modeste tracce d'uso. Può presentare piccole mancanze, leggere bruniture, rade fioriture o macchiette. Copertina con modeste tracce d'uso. Può presentare minime mancanze, qualche rada fioritura o macchietta, leggere bruniture o piccole pieghe. Dorso in buone condizioni. Può presentare un fisiologico stress da lettura, piccole mancanze e segni di cedevolezza in prossimità delle cerniere. Tagli moderatamente bruniti . Buono (Good). Book.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.80
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.80
Quantity: Over 20 available
Add to basketCondition: New. In.
Published by , Sellerio, 1976
Seller: Amarcord libri, Sesto San Giovanni, MI, Italy
Condition: Good. 877 Luigi Riccobene Sicilia ed Europa dal 1700 al 1735. , Sellerio 1976 italiano, in ottavo 42153877brossurabuone condizioni, normali segni del tempoNB Questo libro, in quanto usato, potrebbe presentare segni di precedenti proprietari, quali sottolineature e scritte a matita o penna oppure timbri di appartenenza, non indicate nella scheda, come pure lievi abrasioni, piccoli strappi, piegature, tracce d'umidità, ingiallimenti delle carte, incurvamenti e foxing, tipici dei libri usati. Book.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Condition: New.
Paperback. Condition: New.
Language: English
Published by Springer, Springer Spektrum Jun 2012, 2012
ISBN 10: 3642308848 ISBN 13: 9783642308840
Seller: Wegmann1855, Zwiesel, Germany
Taschenbuch. Condition: Neu. Neuware -This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.