Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Prentice Hall, 1997
ISBN 10: 0136213847ISBN 13: 9780136213840
Seller: Ammareal, Morangis, France
Book
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations.
Published by Prentice Hall, 1997
ISBN 10: 0136213847ISBN 13: 9780136213840
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Book
Broschiert. Condition: Gut. 312 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Schnitt und Einband sind etwas staubschmutzig; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Text in ENGLISCHER Sprache! Sprache: Englisch Gewicht in Gramm: 600.
Published by Springer Berlin Heidelberg, 2003
ISBN 10: 3540401237ISBN 13: 9783540401230
Seller: Artless Missals, DENVER, CO, U.S.A.
Book
PAPERBACK. Condition: VG. Still mostly sealed in publishers wrap.Binding solid, pages crisp and clean, no markings found. Cover bright and shiny with a couple scratches and scuffs on front. Extremities lightly bumped with minimal tip wear.
Published by Springer, 1989
ISBN 10: 354050477XISBN 13: 9783540504771
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Book
Hardcover. 1. 203 Seiten Ungelesenes Buch im sehr guten Zustand. Evtl. minimale Lagerspuren. 9783540504771 Sprache: Deutsch Gewicht in Gramm: 494.
Published by Springer, 2003
ISBN 10: 3540401237ISBN 13: 9783540401230
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Book
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Published by London. Prentice Hall.
Seller: Antiquariaat Ovidius, Bredevoort, Netherlands
Condition: Gebraucht / Used. 1997. Pap. ix,312pp. 8°. References. Index.
Published by Springer, Berlin, 1989
ISBN 10: 354050477XISBN 13: 9783540504771
Seller: NEPO UG, Rüsselsheim am Main, Germany
Book
Gebundene Ausgabe. Condition: Sehr gut. 188 Seiten ex LIbrary Book / aus einer wissenschaftlichen Bibliothek Sprache: Deutsch.
Published by Springer, Berlin, 1989
ISBN 10: 354050477XISBN 13: 9783540504771
Seller: NEPO UG, Rüsselsheim am Main, Germany
Book
Gebundene Ausgabe. Condition: Gut. 188 Seiten ex Library Book / aus einer wissenschaftlichen Bibliothek Sprache: Deutsch.
Published by Springer, 2011
ISBN 10: 3642742394ISBN 13: 9783642742392
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book Print on Demand
Soft Cover. Condition: new. This item is printed on demand.
Published by Springer Berlin, 1989
Seller: ralfs-buecherkiste, Herzfelde, MOL, Germany
Book
Hardcover/ Pappband. Condition: Gut. 188 S. Computerwissenschaften Guter Zustand Mit Abb. Bibl-Ex. ha1061362 Sprache: Deutsch Gewicht in Gramm: 510.
Published by Springer, 2011
ISBN 10: 3642742394ISBN 13: 9783642742392
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer Berlin, 1989
ISBN 10: 354050477XISBN 13: 9783540504771
Seller: Buchpark, Trebbin, Germany
Book
Condition: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Innen: Seiten eingerissen. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | ISBN/EAN: 354050477x[Sonstiges].
Published by Springer, 2003
ISBN 10: 3540401237ISBN 13: 9783540401230
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 2011
ISBN 10: 3642742394ISBN 13: 9783642742392
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer 2011-11, 2011
ISBN 10: 3642742394ISBN 13: 9783642742392
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Springer, 2003
ISBN 10: 3540401237ISBN 13: 9783540401230
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer Berlin Heidelberg, 2012
ISBN 10: 3642742394ISBN 13: 9783642742392
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. reprint edition. 203 pages. German language. 9.60x6.70x0.60 inches. In Stock.
Published by Springer, 2003
ISBN 10: 3540401237ISBN 13: 9783540401230
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer Berlin Heidelberg, 2011
ISBN 10: 3642742394ISBN 13: 9783642742392
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Das Buch gibt eine Einführung in die Spezifikationssprachen Estelle, LOTOS und SDL. Die Sprachen sind Standardsprachen der ISO (Estelle, LOTOS) und des CCITT (SDL) zur Spezifikation von Diensten und Protokollen in Kommunikationssystemen. Insbesondere im Zusammenhang mit der Idee und den Konzepten von OSI (Open Systems Interconnection) gewinnen die drei Sprachen zunehmend an Bedeutung - innerhalb und außerhalb der Normung. Das Buch stellt die drei Sprachen weitgehend anhand von durchgängigen Beispielen vor, bei denen es sich um Dienste und Protokolle handelt, die den OSI-Konzepten folgen. Das Besondere an dem Buch ist, daß durch die Verwendung identischer Beispiele die drei Sprachen direkt miteinander vergleichbar werden. Obwohl Estelle, LOTOS und SDL formale Sprachen sind, wird weitgehend auf Formalismen verzichtet, so daß die Darstellung allgemein und leicht verständlich ist. Das Buch bildet daher ein sehr nützliches Komplement zu den offiziellen Dokumenten und Sprachbeschreibungen der ISO und des CCITT. Das Ziel des Buches ist, dem Leser einen Einblick in die drei Sprachen zu geben und als leicht verständliches und kompaktes Nachschlagewerk in der täglichen Arbeit zu dienen.
Published by Springer, 1992
ISBN 10: 3540555684ISBN 13: 9783540555681
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 1992
ISBN 10: 3540555684ISBN 13: 9783540555681
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer Berlin Heidelberg Mai 2003, 2003
ISBN 10: 3540401237ISBN 13: 9783540401230
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of TestCom 2003, the IFIP TC6/WG 6.1 International Conference on Testing of Communicating Systems, held in Sophia Antipolis, France, during May 26 28, 2003. TestCom denotes a series of int- national working conferences on testing communicating systems in the data and telecommunication domain. The conference provides a forum for researchers, vendors and users to review, discuss and learn about new approaches, concepts andexperiencesinthe eldoftestingofcommunicatingsystems.Thisconference in particular focuses on new ways of testing for new-generation networks. TestCom2003isthe fteenthinaseriesofannualmeetingssponsoredbyIFIP TC6/WG6.1.The14previousmeetingswereheldinVancouver,Canada(1988), Berlin, Germany (1989), McLean, USA (1990), Leidschendam, The Netherlands (1991), Montreal, Canada (1992), Pau, France (1993), Tokyo, Japan (1994), Evry, France (1995), Darmstadt, Germany (1996), Cheju Island, Korea (1997), Tomsk, Russia (1998), Budapest, Hungary (1999), Ottawa, Canada (2000), and Berlin, Germany (2002). The scope of the papers presented at TestCom 2003 covers interoperability testing, TTCN-3, automata-based testing, testing of next-generation networks, IPandUMTS,testsystemsandtools,testspeci cationdesignandmethodology, and industrial experience in testing communication systems. TheTestCom2003programconsistedof6technicalsessions,3positionsta- ment sessions, and a special session on interoperability testing. Three invited speeches gave an overview on actual trends in the testing and telecommuni- tion area and formulated requirements to the testing process. The proceedings contain the 19 regular papers accepted and presented at the conference. They were selected from 53 submitted papers in a careful selection procedure based on the assessment of three referees for each paper. The p- ceedings also include the text of the invited talk by Elaine Weyuker, Philippe Cousin, and Ana Cavalli. 332 pp. Englisch.
Published by Springer 1992-05, 1992
ISBN 10: 3540555684ISBN 13: 9783540555681
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Springer Verlag, 2003
ISBN 10: 3540401237ISBN 13: 9783540401230
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. 1st edition. 311 pages. 9.25x6.25x0.75 inches. In Stock.
Published by Springer Berlin Heidelberg Mai 1992, 1992
ISBN 10: 3540555684ISBN 13: 9783540555681
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1m Februar 1991 wurde ein Arbeitskreis 'Formale Beschreibungstechniken fUr verteilte Systeme' am Rande der Fachtagung 'Kommunikation in verteilten Systemen' in Mann heim in der GI/ITG Fachgruppe 3.3.1/4.4 'Kommunikation und verteilte Systeme' gegrundet. Der Arbeitskreis wurde mit dem Ziel gegrundet, einen regelmassigen wissenschaftlichen Gedankenaustausch in organisierter Form zu ermoglichen. Die folgenden Themen wurden als Interessensschwerpunkte im Arbeitskreis erkannt: FDT-basierte Werkzeuge zur Unterstutzung des Systementwurfs Konformitatstesten basierend auf formalen Beschreibungen Leistungsanalyse basierend auf formalen Beschreibungen Verifikation basierend auf formalen Beschreibungen Ergonomie des Arbeitens mit FDTs Anwendung von FDTs in der ODP-Standardisierung theoretische Modelle Datenmodellierung FDTs im System-Life-Cycle FDT-basierte Implementierung (ODP = Open Distributed Processing, Normungsaktivitat ISO) (FDT = Formal Description Technique) Die obige Liste ist selbstverstandlich offen fUr Veranderungen. Der vorliegende Band enthalt Arbeiten aus dem Themengebiet des Arbeitskreises. Einer seits sind dies Arbeiten, die anlasslich des ersten Fachgesprachs im Juni 1991 in Darm stadt vorgestellt wurden. Andererseits sind es Arbeiten, die nachtraglich von Autoren eingereicht wurden, denen es nicht moglich war, am Fachgesprach teilzunehmen. Unter den zahlreichen Arbeiten, die eingereicht wurden, ist hier nur eine Auswahl zusammen gestellt, die nach einem zweistufigen Begutachtungsprozess ubrig blieben: Begutachtung - Revision ausgewahlter Beitrage - erneute Begutachtung. 240 pp. Englisch, Deutsch.
Published by Springer, 1992
ISBN 10: 3540555684ISBN 13: 9783540555681
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer Berlin Heidelberg, 2011
ISBN 10: 3642742394ISBN 13: 9783642742392
Seller: moluna, Greven, Germany
Book Print on Demand
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Das Buch gibt eine Einfuehrung in die Spezifikationssprachen Estelle, LOTOS und SDL. Die Sprachen sind Standardsprachen der ISO (Estelle, LOTOS) und des CCITT (SDL) zur Spezifikation von Diensten und Protokollen in Kommunikationssystemen. Insbesondere im Zus.
Published by Springer Berlin Heidelberg, 2008
ISBN 10: 3540401237ISBN 13: 9783540401230
Seller: getbooks GmbH, Bad Camberg, HE, Germany
Book
Taschenbuch. Condition: Gut. 324 Seiten Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 821696.01 Sprache: Englisch Gewicht in Gramm: 499.
Published by Springer Berlin Heidelberg, 2003
ISBN 10: 3540401237ISBN 13: 9783540401230
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of TestCom 2003, the IFIP TC6/WG 6.1 International Conference on Testing of Communicating Systems, held in Sophia Antipolis, France, during May 26 28, 2003. TestCom denotes a series of int- national working conferences on testing communicating systems in the data and telecommunication domain. The conference provides a forum for researchers, vendors and users to review, discuss and learn about new approaches, concepts andexperiencesinthe eldoftestingofcommunicatingsystems.Thisconference in particular focuses on new ways of testing for new-generation networks. TestCom2003isthe fteenthinaseriesofannualmeetingssponsoredbyIFIP TC6/WG6.1.The14previousmeetingswereheldinVancouver,Canada(19 88), Berlin, Germany (1989), McLean, USA (1990), Leidschendam, The Netherlands (1991), Montreal, Canada (1992), Pau, France (1993), Tokyo, Japan (1994), Evry, France (1995), Darmstadt, Germany (1996), Cheju Island, Korea (1997), Tomsk, Russia (1998), Budapest, Hungary (1999), Ottawa, Canada (2000), and Berlin, Germany (2002). The scope of the papers presented at TestCom 2003 covers interoperability testing, TTCN-3, automata-based testing, testing of next-generation networks, IPandUMTS,testsystemsandtools,testspeci cationdesignandmethodology, and industrial experience in testing communication systems. TheTestCom2003programconsistedof6technicalsessions,3positionsta- ment sessions, and a special session on interoperability testing. Three invited speeches gave an overview on actual trends in the testing and telecommuni- tion area and formulated requirements to the testing process. The proceedings contain the 19 regular papers accepted and presented at the conference. They were selected from 53 submitted papers in a careful selection procedure based on the assessment of three referees for each paper. The p- ceedings also include the text of the invited talk by Elaine Weyuker, Philippe Cousin, and Ana Cavalli.
Published by Springer Berlin Heidelberg, 1992
ISBN 10: 3540555684ISBN 13: 9783540555681
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 1m Februar 1991 wurde ein Arbeitskreis 'Formale Beschreibungstechniken fUr verteilte Systeme' am Rande der Fachtagung 'Kommunikation in verteilten Systemen' in Mann heim in der GI/ITG Fachgruppe 3.3.1/4.4 'Kommunikation und verteilte Systeme' gegrundet. Der Arbeitskreis wurde mit dem Ziel gegrundet, einen regelmassigen wissenschaftlichen Gedankenaustausch in organisierter Form zu ermoglichen. Die folgenden Themen wurden als Interessensschwerpunkte im Arbeitskreis erkannt: FDT-basierte Werkzeuge zur Unterstutzung des Systementwurfs Konformitatstesten basierend auf formalen Beschreibungen Leistungsanalyse basierend auf formalen Beschreibungen Verifikation basierend auf formalen Beschreibungen Ergonomie des Arbeitens mit FDTs Anwendung von FDTs in der ODP-Standardisierung theoretische Modelle Datenmodellierung FDTs im System-Life-Cycle FDT-basierte Implementierung (ODP = Open Distributed Processing, Normungsaktivitat ISO) (FDT = Formal Description Technique) Die obige Liste ist selbstverstandlich offen fUr Veranderungen. Der vorliegende Band enthalt Arbeiten aus dem Themengebiet des Arbeitskreises. Einer seits sind dies Arbeiten, die anlasslich des ersten Fachgesprachs im Juni 1991 in Darm stadt vorgestellt wurden. Andererseits sind es Arbeiten, die nachtraglich von Autoren eingereicht wurden, denen es nicht moglich war, am Fachgesprach teilzunehmen. Unter den zahlreichen Arbeiten, die eingereicht wurden, ist hier nur eine Auswahl zusammen gestellt, die nach einem zweistufigen Begutachtungsprozess ubrig blieben: Begutachtung - Revision ausgewahlter Beitrage - erneute Begutachtung.