Type d'article
Etat
Reliure
Particularités
Pays
Evaluation du vendeur
Edité par Berlin, Springer, 1999
Vendeur : Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Allemagne
Membre d'association : GIAQ
Livre
Paperback. X, 299 S.; Ill. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 560.
Edité par Morgan Kaufmann, 1999
ISBN 10 : 1558606130ISBN 13 : 9781558606135
Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni
Livre
Etat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Edité par Morgan Kaufmann Publishers In, 1999
ISBN 10 : 1558606130ISBN 13 : 9781558606135
Vendeur : Roland Antiquariat UG haftungsbeschränkt, Weinheim, Allemagne
Livre
Softcover: 22.2 x 7 x 28.6 cm. 1452 p. 2 volumes. New! --- Neu und originalverschweißt! 9781558606135 Sprache: Deutsch Gewicht in Gramm: 358.
Edité par Springer Berlin Heidelberg, 1999
ISBN 10 : 3540657185ISBN 13 : 9783540657187
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Livre
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - ETAPS'99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Edité par Springer Berlin Heidelberg, 1999
ISBN 10 : 3540657193ISBN 13 : 9783540657194
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Livre
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The International Conference Foundations of Software Science and Compu- tion Structures (FOSSACS) is a constituent of the Joint European Conferences on Theoryand Practice of Software (ETAPS). The present volume contains the contributions to FOSSACS 99, the second conference in this series, which took place in Amsterdam. As formulated in the call for papers, FOSSACS focusses on papers which o er progress in foundational research with a clear signi cance for software science. A central issue is theories and methods which support the speci cation, tra- formation, veri cation, and analysis of programs and software systems. The articles in this volume represent a wide spectrum of approaches to this general aim. In manypapers, one nds the studyof new concepts and methods which are motivated byrecent trends (or problems) in the practical use of software and information technology. The volume contains 18 contributed papers, preceded bythree invited papers. The rst, byM. Abadi, accompanies his unifying invited lecture addressed to the whole ETAPS audience. The second, byJ. Esparza and J. Knoop, contains an application of the results presented byJ. Esparza in his invited lecture to FOSSACS 99. The third summarizes an invited tutorial byD. Sangiorgi p- sented to ETAPS 99.
Edité par Springer Berlin Heidelberg, 1999
ISBN 10 : 3540657037ISBN 13 : 9783540657033
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Livre
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - ETAPS'99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Dieren t blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Edité par IEEE; The Institute of Electrical and Electronic Engineers, Inc., Piscataway, NJ, U.S.A., 1999
ISBN 10 : 078035530XISBN 13 : 9780780355309
Vendeur : SUNSET BOOKS, Newark, OH, Etats-Unis
Livre Edition originale
Hardcover. Etat : Very Good. No Jacket. 1st. 6 Volumes. Case bound. Size: 4to. Ex-Library.
Edité par American Society of Mechanical Engineers, 1999
ISBN 10 : 0791816141ISBN 13 : 9780791816141
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Livre
Paperback. Etat : Like New. Like New. book.
Edité par IEEE; The Institute of Electrical and Electronic E, 1999
ISBN 10 : 078035530XISBN 13 : 9780780355309
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Livre
hardcover. Etat : Very Good. Very Good. book.