Importo totale (1 articolo articoli):
Destinazione ordine:
hogrefe dieter (44 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (44)
- 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 (33)
- Come nuovo, Ottimo o Quasi ottimo (4)
- Molto buono o Buono (5)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (2)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (1)
- Con foto (19)
- Non Print on Demand (32)
Lingua (3)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
SDL: Formal Object-Oriented Language for Communicating Systems.
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
EUR 0,99
Spedizione EUR 15,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBroschiert. Condizione: 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.
-
Sdl: Formal Object-Oriented Language for Communicating Systems
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 22,40
Spedizione EUR 14,48
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2nd edition. 312 pages. 9.75x7.25x1.00 inches. In Stock.
-
Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings (Lecture Notes in Computer Science, 2644)
Da: Zoom Books East, Glendale Heights, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. Book is in good condition and may include underlining highlighting and minimal wear. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.
-
SDL. Formal Object-oriented Language Communicating Systems.
Editore: London. Prentice Hall.
Da: Antiquariaat Ovidius, Bredevoort, Paesi Bassi
Valutazione del venditore 4 su 5 stelle
EUR 9,00
Spedizione EUR 22,00
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Gebraucht / Used. 1997. Pap. ix,312pp. 8°. References. Index.
-
Estelle, LOTOS und SDL. Standard- Spezifikationssprachen für verteilte Systeme (Springer Compass) Standard-Spezifikationssprachen für verteilte Systeme
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
EUR 12,50
Spedizione EUR 24,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloGebundene Ausgabe. Condizione: Gut. 188 Seiten ex Library Book aus einer wissenschaftlichen Bibliothek Sprache: Deutsch.
-
Estelle, LOTOS und SDL. Standard- Spezifikationssprachen für verteilte Systeme (Springer Compass) Standard-Spezifikationssprachen für verteilte Systeme
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
EUR 12,50
Spedizione EUR 24,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloGebundene Ausgabe. Condizione: Sehr gut. 188 Seiten ex LIbrary Book aus einer wissenschaftlichen Bibliothek Sprache: Deutsch.
-
Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings (Lecture Notes in Computer Science, 2644)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,62
Spedizione EUR 13,88
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Testing of Communicating Systems : 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,05
Spedizione EUR 17,95
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Testing of Communicating Systems
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 324.
-
Testing of Communicating Systems: 15th Ifip International Conference, Testcom 2003 Sophia Antipolis, Frenace, May 26 - 28, 2003 Proceedings
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 79,74
Spedizione EUR 11,59
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 311 pages. 9.25x6.25x0.75 inches. In Stock.
-
Testing of Communicating Systems
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2003
ISBN 10: 3540401237 ISBN 13: 9783540401230
EUR 48,37
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New.
-
Testing of Communicating Systems : 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2003
ISBN 10: 3540401237 ISBN 13: 9783540401230
EUR 53,49
Spedizione EUR 62,53
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Testing of Communicating Systems | 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings | Dieter Hogrefe (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540401230 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings (Lecture Notes in Computer Science (2644))
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 100,24
Spedizione EUR 28,97
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Estelle, LOTOS und SDL: Standard-Spezifikationssprachen für verteilte Systeme (Springer Compass)
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germania
Valutazione del venditore 5 su 5 stelle
EUR 12,90
Spedizione EUR 42,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. 1. 203 Seiten Ungelesenes Buch im sehr guten Zustand. Evtl. minimale Lagerspuren. 9783540504771 Sprache: Deutsch Gewicht in Gramm: 494.
-
Estelle, LOTOS und SDL: Standard-Spezifikationssprachen für verteilte Systeme (Springer Compass) (German Edition)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 45,96
Spedizione EUR 13,88
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Estelle, LOTOS und SDL : Standard-Spezifikationssprachen fur verteilte Systeme
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 41,91
Spedizione EUR 17,95
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Formal Description Techniques for Distribution Systems and Communication Protocols
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 256,25
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New. Presents the research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques. Editor(s): Hogrefe, Dieter; Leue, S. Series: IFIP Advances in Information and Communication Technology. Num Pages: 536 pages, black & white illustrations. BIC Classification: PHDS; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 2050. . 1995. Hardback. . . . .
-
Formal Description Techniques for Distribution Systems and Communication Protocols
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Presents the research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques. Editor(s): Hogrefe, Dieter; Leue, S. Series: IFIP Advances in Information and Communication Technology. Num Pages: 536 pages, black & white illustrations. BIC Classification: PHDS; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 2050. . 1995. Hardback. . . . . Books ship from the US and Ireland.
-
Estelle, LOTOS und SDL
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 208.
-
Estelle, Lotos Und Sdl: Standardspezifikationssprachen Fur Verteilte Systeme (Springer Compass)
Lingua: Tedesco
Editore: Springer Berlin Heidelberg, 2012
ISBN 10: 3642742394 ISBN 13: 9783642742392
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,13
Spedizione EUR 11,59
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. reprint edition. 203 pages. German language. 9.60x6.70x0.60 inches. In Stock.
-
Formale Beschreibungstechniken für verteilte Systeme (Informatik aktuell) (German Edition)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 67,95
Spedizione EUR 13,88
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formale Beschreibungstechniken f�r verteilte Systeme (Informatik aktuell) (German and English Edition)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 64,50
Spedizione EUR 17,95
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPerfect Paperback. Condizione: New.
-
Estelle, LOTOS und SDL : Standard-Spezifikationssprachen für verteilte Systeme
Lingua: Tedesco
Editore: Springer Berlin Heidelberg, 2011
ISBN 10: 3642742394 ISBN 13: 9783642742392
EUR 39,99
Spedizione EUR 61,85
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
Formale Beschreibungstechniken für verteilte Systeme
Lingua: Tedesco
Editore: Springer Berlin Heidelberg, 1992
ISBN 10: 3540555684 ISBN 13: 9783540555681
EUR 59,99
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Estelle, LOTOS und SDL. Standard-Spezifikationssprachen für verteilte Systeme.
Lingua: Tedesco
Editore: Springer Berlin, 1989
Da: ralfs-buecherkiste, Herzfelde, MOL, Germania
Valutazione del venditore 5 su 5 stelle
EUR 13,00
Spedizione EUR 105,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover/ Pappband. Condizione: Gut. 188 S. Computerwissenschaften Guter Zustand Mit Abb. Bibl-Ex. ha1061362 Sprache: Deutsch Gewicht in Gramm: 510.
-
EUR 12,50
Spedizione EUR 105,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Formale Beschreibungstechniken für verteilte Systeme (Informatik aktuell) (German and English Edition)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 112,86
Spedizione EUR 11,59
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 236 pages. German language. 9.53x6.69x0.55 inches. In Stock.
-
Formale Beschreibungstechniken für verteilte Systeme
Lingua: Tedesco
Editore: Springer Berlin Heidelberg, 1992
ISBN 10: 3540555684 ISBN 13: 9783540555681
EUR 59,99
Spedizione EUR 62,09
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
EUR 59,99
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Formale Beschreibungstechniken für verteilte Systeme | Dieter Hogrefe | Taschenbuch | Informatik aktuell | viii | Deutsch | 1992 | Springer | EAN 9783540555681 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
