Importo totale (1 articolo articoli):
Destinazione ordine:
algebraic methodology software technology di rattray charles (38 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (38)
- 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 (30)
- Come nuovo, Ottimo o Quasi ottimo (4)
- Molto buono o Buono (4)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
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 (17)
- Non Print on Demand (31)
Lingua (1)
Spedizione gratuita
- Spedizione gratuita in Italia (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings: 3116 (Lecture Notes in Computer Science, 3116)
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 8,67
Convertire valutaEUR 10,54 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.
-
EUR 19,27
Convertire valutaEUR 17,90 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Gut. 584 Seiten; 9783540223818.3 Gewicht in Gramm: 2.
-
Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 Proceedings
Da: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 16,45
Convertire valutaEUR 40,05 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. No Jacket. Hardcover 2004 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;3116. [xi, 569 p. : ill. ; 24 cm].
-
Algebraic Methodology and Software Technology (AMAST'93): Proceedings of the Third International Conference on Algebraic Methodology and Software ... 21-25 June 1993 (Workshops in Computing)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,96
Convertire valutaEUR 10,30 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,96
Convertire valutaEUR 10,30 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
Editore: Springer Berlin Heidelberg, 2004
ISBN 10: 3540223819 ISBN 13: 9783540223818
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of AMAST 2004, the 10th International Conference on Algebraic Methodology and Software Technology, held during July 12 16,2004,in Stirling, Scotland, UK. The major goalof the AMAST c- ferences is to promote research that may lead to the setting of software techn- ogy on a rm, mathematical basis. This goal is achieved by a large international cooperationwith contributions from both academia and industry. The virtues of a software technology developed on a mathematical basis have been envisioned asbeing capableofprovidingsoftwarethatis(a)correct,andthecorrectnesscan be provedmathematically, (b) safe, so that it can be used in the implementation of critical systems, (c) portable, i. e. , independent of computing platforms and language generations, and (d) evolutionary, i. e. , it is self-adaptable and evolves with the problem domain. PreviousAMASTmeetingswereheldinIowaCity(1989,1991,2000),Twente (1993), Montreal (1995), Munich (1996), Sydney (1997), Manaus (1999), and Reunion Island (2002), and contributed to the AMAST goals by reporting and disseminating academic and industrial achievements within the AMAST area of interest. During these meetings, AMAST attracted an international following among researchersand practitioners interested in software technology, progr- ming methodology and their algebraic and logical foundations. For AMAST 2004therewere63 submissionsof overallhigh quality, authored by researchers from Australia, Canada, China, the Czech Republic, Denmark, France, Germany, India, Iran, Israel, Italy, Korea, Portugal,Spain, Taiwan, The Netherlands, Turkey, the UK, and the USA. All submissions were thoroughly evaluated, and an electronic programcommittee meeting was held to discuss the reviewers reports. The program committee selected 35 papers to be presented.
-
EUR 53,49
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The Netherlands, during the first week of Summer 1993. Nearly a hundred people from all continents attended the conference. The largest interest received by the AMAST conference among the professionals extended to include the administration organizations as well. AMAST'93 was opened by the Rector of the University of Twente, followed by the Local Chairman. Their opening addresses open this proceedings, too. The proceedings contains 8 invited papers and 32 selected communica tions. The selection was very strict, for 121 submissions were received.
-
Algebraic Methodology and Software Technology
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 2004, 2004
ISBN 10: 3540223819 ISBN 13: 9783540223818
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Convertire valutaEUR 15,00 per la spedizione da Germania a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -committee selected 35 papers to be presented.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 588 pp. Englisch.
-
EUR 43,96
Convertire valutaEUR 26,42 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: new.
-
Algebraic Methodology and Software Technology - Amast?93 : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, the Netherlands 21-25 June 1993
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,82
Convertire valutaEUR 17,03 per la spedizione da U.S.A. a ItaliaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
-
Algebraic Methodology and Software Technology : 10th International Conference, Amast 2004, Stirling, Scotland, Uk, July 12-16, 2004, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,51
Convertire valutaEUR 17,03 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 64,95
Convertire valutaEUR 7,67 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
EUR 48,26
Convertire valutaEUR 25,55 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
-
EUR 48,26
Convertire valutaEUR 25,55 per la spedizione da U.S.A. a ItaliaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
-
Algebraic Methodology and Software Technology : 10th International Conference, Amast 2004, Stirling, Scotland, Uk, July 12-16, 2004, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,95
Convertire valutaEUR 17,18 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Algebraic Methodology and Software Technology : 10th International Conference, Amast 2004, Stirling, Scotland, Uk, July 12-16, 2004, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 61,39
Convertire valutaEUR 17,03 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Algebraic Methodology and Software Technology - Amast?93 : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, the Netherlands 21-25 June 1993
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 61,39
Convertire valutaEUR 17,03 per la spedizione da U.S.A. a ItaliaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Algebraic Methodology and Software Technology (AMAST'93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Tec
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 56,54
Convertire valutaEUR 22,90 per la spedizione da Regno Unito a ItaliaQuantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Algebraic Methodology and Software Technology (Workshops in Computing)
Da: Bookmonger.Ltd, HILLSIDE, NJ, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 34,21
Convertire valutaEUR 46,44 per la spedizione da U.S.A. a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Fine. Mint condition.
-
Algebraic Methodology and Software Technology : 10th International Conference, Amast 2004, Stirling, Scotland, Uk, July 12-16, 2004, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 65,75
Convertire valutaEUR 17,18 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 17,68
Convertire valutaEUR 63,91 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
EUR 58,65
Convertire valutaEUR 26,42 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. New Copy. Customer Service Guaranteed.
-
Algebraic Methodology and Software Technology (AMAST'93)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 78,39
Convertire valutaEUR 7,67 per la spedizione da U.S.A. a ItaliaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 436.
-
EUR 59,22
Convertire valutaEUR 26,42 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. New Copy. Customer Service Guaranteed.
-
Algebraic Methodology and Software Technology (Amast'93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, the Netherlands 21
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 79,82
Convertire valutaEUR 11,46 per la spedizione da Regno Unito a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. reprint edition. 436 pages. 9.20x6.10x1.00 inches. In Stock.
-
Algebraic Methodology and Software Technology (AMAST'93): Proceedings of the Third International Conference on Algebraic Methodology and Software ... 21-25 June 1993 (Workshops in Computing)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,66
Convertire valutaEUR 63,91 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,33
Convertire valutaEUR 63,91 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Algebraic Methodology and Software Technology (AMAST93) (Paperback)
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1993
ISBN 10: 3540198520 ISBN 13: 9783540198529
Lingua: Inglese
Da: Grand Eagle Retail, Mason, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 56,15
Convertire valutaEUR 63,91 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. This volume contains papers presented at the Third International Conference on Algebraic Methodology and Software Technology (AMAST'93), held at the University of Twente, the Netherlands, 21-25 June 1993. The AMAST conferences aim to promote the use of algebraic methodology as a foundation for software technology, and to examine how universal algebra can provide practical mathematical alternatives to the ad hoc methods commonly used in software development. They are the only conferences to focus specifically on this important area of research. The resulting volume covers a variety of software development issues, and testifies to the versatility of algebraic methods when used as conceptual tools in the software development process. The papers present original research in a range of areas, and include a distinguished collection of invited papers by leading researchers in the field. The volume also includes descriptions of six software systems which have been developed using algebraic methods, techniques and tools.Among the topics covered in this volume are: Algebraic metamathematics; Functional programming; Category theory in software engineering; Modular system design; Real-time system specification; Testing theory and applications; Algebraic semantics of concurrency; Modal logics and reactive systems; Design and refinement principles; Equational and logic programming; Algebraic specification in software engineering. The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Algebraic Methodology and Software Technology (Paperback)
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2004
ISBN 10: 3540223819 ISBN 13: 9783540223818
Lingua: Inglese
Da: Grand Eagle Retail, Mason, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 63,62
Convertire valutaEUR 63,91 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirling, Scotland, UK in July 2004. The 35 revised full papers presented together with abstracts of 5 invited talks and an invited paper were carefully reviewed and selected from 63 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, model checking, state machines, rewriting, Kleene algebra, programming logic, etc. This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirling, Scotland, UK in July 2004. The 35 revised full papers presented together with abstracts of 5 invited talks and an invited paper were carefully reviewed and selected from 63 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, model checking, state machines, rewriting, Kleene algebra, programming logic, etc. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Algebraic Methodology and Software Technology (AMAST93) (Paperback)
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1993
ISBN 10: 3540198520 ISBN 13: 9783540198529
Lingua: Inglese
Da: AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 5 su 5 stelle
EUR 113,74
Convertire valutaEUR 31,53 per la spedizione da Australia a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. This volume contains papers presented at the Third International Conference on Algebraic Methodology and Software Technology (AMAST'93), held at the University of Twente, the Netherlands, 21-25 June 1993. The AMAST conferences aim to promote the use of algebraic methodology as a foundation for software technology, and to examine how universal algebra can provide practical mathematical alternatives to the ad hoc methods commonly used in software development. They are the only conferences to focus specifically on this important area of research. The resulting volume covers a variety of software development issues, and testifies to the versatility of algebraic methods when used as conceptual tools in the software development process. The papers present original research in a range of areas, and include a distinguished collection of invited papers by leading researchers in the field. The volume also includes descriptions of six software systems which have been developed using algebraic methods, techniques and tools.Among the topics covered in this volume are: Algebraic metamathematics; Functional programming; Category theory in software engineering; Modular system design; Real-time system specification; Testing theory and applications; Algebraic semantics of concurrency; Modal logics and reactive systems; Design and refinement principles; Equational and logic programming; Algebraic specification in software engineering. The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
