Importo totale (1 articolo articoli):
Destinazione ordine:
bidoit (70 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (70)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (46)
- Come nuovo, Ottimo o Quasi ottimo (10)
- Molto buono o Buono (9)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (5)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (28)
- Non Print on Demand (54)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Algebraic System Specification and Development: A Survey and Annotated Bibliography - Lecture Notes in Computer Science 501
Da: G. & J. CHESTERS, TAMWORTH, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 4,90
Spedizione EUR 8,13
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: Very Good. pp.viii, 98 pages, a very good paperback, from a uk university [0387540601].
-
EUR 3,00
Spedizione EUR 15,79
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1200grams, ISBN:9783540627814.
-
Algebraic System Specification and Development: A Survey and Annotated Bibliography - Lecture Notes in Computer Science 501 (Lecture Notes in Computer Science 501)
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 8,02
Spedizione EUR 14,51
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Condizione sovraccoperta: No Dust Jacket. Lecture Notes in Computer Science 501; Ex-Library. Previous owner's stickers on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Sound, clean book with tight binding. ADG. Ex-Library.
-
Systems and Software Verification: Model-Checking Techniques and Tools
Da: PAPER CAVALIER UK, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 23,66
Spedizione EUR 6,97
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: very good. Gently used. May include previous owner's signature or bookplate on the front endpaper, sticker on back and/or remainder mark on text block.
-
Paradigmes et enjeux de l'informatique : traite ic2, serie informatique et systemes d'information
Lingua: Francese
Editore: Hermes Science Publications, 2005
ISBN 10: 2746210355 ISBN 13: 9782746210356
EUR 6,17
Spedizione EUR 16,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2005. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2005. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
EUR 6,17
Spedizione EUR 16,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Bon. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Slight signs of wear on the cover. Stains on the edge. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
EUR 6,49
Spedizione EUR 16,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Tapsoft '97: Theory and Practice of Software Development (Lecture Notes in Computer Science , Vol 1214)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 884 pp., softcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Algebraic System Specification and Development - A Survey and Annotated Bibliography
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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.
-
Algebraic System Specification and Development
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 98.
-
Algebraic specification and development. a survey and bibliography.
Lingua: Inglese
Editore: Springer, Heidelberg/New York, 1991
ISBN 10: 3540540601 ISBN 13: 9783540540601
Da: Emile Kerssemakers ILAB, Heerlen, Paesi Bassi
Membro dell'associazione: ILAB NVVA
Valutazione del venditore 5 su 5 stelle
EUR 9,00
Spedizione EUR 33,00
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello24 cm. original paperback. ISBN 0387540601. references. bibliograhpy, "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 210g.
-
Algebraic System Specification and Development
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 35,78
Spedizione EUR 7,55
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Used. pp. 98.
-
Algebraic System Specification and Development : A Survey and Annotated Bibliography
Lingua: Inglese
Editore: Springer Berlin / Heidelberg, 1991
ISBN 10: 3540540601 ISBN 13: 9783540540601
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Algebraic System Specification and Development
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 35,79
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Used. pp. 98.
-
Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, ... (Lecture Notes in Computer Science, 655)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 61,37
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, . Notes in Computer Science (655), Band 655)
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germania
Valutazione del venditore 5 su 5 stelle
EUR 25,80
Spedizione EUR 42,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello1993. 360 p. Unread book. Very good condition. Minimum traces of storage. 9783540563792 Sprache: Englisch Gewicht in Gramm: 386 Softcover, Größe: 15.5 x 2.1 x 23.5 cm.
-
Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science, 501)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,00
Spedizione EUR 13,91
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2900)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,74
Spedizione EUR 13,91
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, ... (Lecture Notes in Computer Science, 655)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,74
Spedizione EUR 13,91
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Algebraic System Specification and Development : A Survey and Annotated Bibliography
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,67
Spedizione EUR 17,98
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,03
Spedizione EUR 17,98
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, . 8th (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,15
Spedizione EUR 17,98
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
EUR 7,40
Spedizione EUR 80,70
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Befriedigend. 260 Seiten; 9783540207665.4 Gewicht in Gramm: 500.
-
EUR 7,40
Spedizione EUR 80,70
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Gut. 260 Seiten; 9783540207665.3 Gewicht in Gramm: 500.
-
CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2900)
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: New. In shrink wrap. Looks like an interesting title!
-
Algebraic System Specification and Development : A Survey and Annotated Bibliography
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1991
ISBN 10: 3540540601 ISBN 13: 9783540540601
EUR 53,49
Spedizione EUR 60,92
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development, as its range of applications was extended to the specification of complete software systems, to the formal description of the program development process, and to the uniform definition of syntax and semantics of programming languages. Today this approach extends beyond just software to the development of integrated hardware and software systems. These flourishing activities in the area of algebraic specifications have led to an abundance of approaches, theories and concepts, which have universal algebra, category theory and logic as a common mathematical basis. This volume is an annotated bibliography which provides an up-to-date overview of past and present work on algebraic specification. No attempt is made to provide a coherent introduction to the topic for beginners; the intention is rather to provide a guide to the current literature for researchers in algebraic specification and neighboring fields. Some indications of how the different approaches are related are included, together with some ideas concerning possible future directions.
-
Systems and Software Verification: Model-Checking Techniques and Tools
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title!
-
Tapsoft '97 : Theory and Practice of Software Development
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
TAPSOFT'97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings (Lecture Notes in Computer Science, 1214)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 119,13
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
EUR 53,49
Spedizione EUR 62,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - CASL, the Common Algebraic Specification Language, was designed by themembers of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks. This book illustrates and discusses how to write CASL specifications. The authors first describe the origins, aims and scope of CoFI, and review the main concepts of algebraic specification languages. The main part of the book explains CASL specifications, with chapters on loose, generated and free specifications, partial functions, sub- and supersorts, structuring specifications, genericity and reusability, architectural specifications, and version control. The final chapters deal with tool support and libraries, and present a realistic case study involving the standard benchmark for comparing specification frameworks. The book is aimed at software researchers and professionals, and follows a tutorial style with highlighted points, illustrative examples, and a full specification and library index. A separate, complementary LNCS volume contains the CASL Reference Manual.
