Algebraic Specifications in Software Engineering
Lewi Johan
ISBN 10: 0387516263 ISBN 13: 9780387516264
Editore: Springer, 1989
Usato
Brossura
Da
Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Venditore AbeBooks dal 19 gennaio 2007
Questa copia non è più disponibile. Ecco le corrispondenze migliori per Algebraic Specifications in Software Engineering di Lewi Johan.
Riguardo questo articolo
Descrizione:
pp. 350. Codice articolo 4717313
Riassunto:
Book by Van Horebeek Ivo Lewi Johan
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Algebraic Specifications in Software ...
Casa editrice: Springer
Data di pubblicazione: 1989
Legatura: Brossura
Condizione: Used
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Algebraic Specifications in Software Engineering. An Introduction
Editore:
Springer-Verlag Gmbh, 1989
ISBN 10: 3540516263
ISBN 13: 9783540516262
Antico o usato
Rilegato
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Gebundene Ausgabe. Condizione: Sehr gut. Gebraucht - Sehr gut Sofortversand,übliche Markierungsstempel/Zeichen, altersgemaesser SEHR GUTER Zustand. Codice articolo INF1000011414
Compra usato
EUR 32,28
Spedizione EUR 65,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Algebraic Specifications in Software Engineering
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. I prefer to view formal methods as tools. the use of which might be helpful. E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Many projects in which algebraic specifications have been used as a design tool have been carried ou. Codice articolo 5069700
Compra nuovo
EUR 47,23
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Algebraic Specifications in Software Engineering : An Introduction
Editore:
Springer Berlin Heidelberg, 2011
ISBN 10: 364275032X
ISBN 13: 9783642750328
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 'I prefer to view formal methods as tools. the use of which might be helpful.' E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Many projects in which algebraic specifications have been used as a design tool have been carried out. What prevents algebraic specifications from breaking through is the absence of introductory descriptions and tools supporting the construction of algebraic specifications. On the one hand. interest from industry will stimulate people to make introductions and tools. whereas on the other hand the existence of introductions and tools will stimulate industry to use algebraic specifications. This book should be seen as a contribution towards creating this virtuous circle. The book will be of interest to software designers and programmers. It can also be used as material for an introductory course on algebraic specifications and software engineering at undergraduate or graduate level. Nowadays. there is general agreement that in large software projects appropriate specifications are a must in order to obtain quality software. Informal specifications alone are certainly not appropriate because they are incomplete. inconsistent. inaccurate and ambiguous and they rapidly become bulky and therefore useless. The only way to overcome this problem is to use formal specifications. An important remark here is that a specification formalism (language) alone is not sufficient. What is also needed is a design method to write specifications in that formalism. Codice articolo 9783642750328
Compra nuovo
EUR 53,49
Spedizione EUR 63,15
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Algebraic Specifications in Software Engineering
Editore:
Springer Berlin Heidelberg Dez 2011, 2011
ISBN 10: 364275032X
ISBN 13: 9783642750328
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -'I prefer to view formal methods as tools. the use of which might be helpful.' E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Many projects in which algebraic specifications have been used as a design tool have been carried out. What prevents algebraic specifications from breaking through is the absence of introductory descriptions and tools supporting the construction of algebraic specifications. On the one hand. interest from industry will stimulate people to make introductions and tools. whereas on the other hand the existence of introductions and tools will stimulate industry to use algebraic specifications. This book should be seen as a contribution towards creating this virtuous circle. The book will be of interest to software designers and programmers. It can also be used as material for an introductory course on algebraic specifications and software engineering at undergraduate or graduate level. Nowadays. there is general agreement that in large software projects appropriate specifications are a must in order to obtain quality software. Informal specifications alone are certainly not appropriate because they are incomplete. inconsistent. inaccurate and ambiguous and they rapidly become bulky and therefore useless. The only way to overcome this problem is to use formal specifications. An important remark here is that a specification formalism (language) alone is not sufficient. What is also needed is a design method to write specifications in that formalism. 368 pp. Englisch. Codice articolo 9783642750328
Compra nuovo
EUR 53,49
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Algebraic Specifications in Software Engineering: An Introduction
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783642750328_new
Compra nuovo
EUR 60,51
Spedizione EUR 13,86
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Algebraic Specifications in Software Engineering
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. xiv + 350 240 Figures. Codice articolo 51014756
Compra nuovo
EUR 78,69
Spedizione EUR 7,52
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Algebraic Specifications in Software Engineering
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. xiv + 350. Codice articolo 1858577841
Compra nuovo
EUR 78,85
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Algebraic Specifications in Software Engineering
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. xiv + 350 Softcover Reprint of the Original 1st Edition 1989. Codice articolo 2658577851
Compra nuovo
EUR 80,51
Spedizione EUR 3,46
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Algebraic Specifications in Software Engineering: An Introduction
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. reprint edition. 364 pages. 9.40x6.80x1.00 inches. In Stock. Codice articolo x-364275032X
Compra nuovo
EUR 81,04
Spedizione EUR 14,46
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Algebraic Specifications in Software Engineering: An Introduction
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book. Codice articolo ERICA82935405162636
Compra usato
EUR 148,91
Spedizione EUR 28,91
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili