Bochmann gregor von (37 Ergebnisse)

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: New.

Blatt. Zustand: Befriedigend. ca23,7x31,6 cm.- 1 Blatt, Kanten gering bestossen, papierbedingte Seitenbräunung.- Julia Hümmes Ausführungen in "Gregor von Bochmann (1850 - 1930)" folgend (S. 230, FN 525), handelt es sich wohl um die Kunstbeilage zur Zeitschrift Die Rheinlande, 1904/// Standort Wimregal . HAGG-1104 WITHIN THE EU: shipping only to GERMANY and AUSTRIA due to the new EPR regulations. Sprache: Deutsch Gewicht in Gramm: 10.…

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume gives the proceedings of the Fourth Workshop onComputer-Aided Verification (CAV '92), held in Montreal,June 29 - July 1, 1992. The objective of this series ofworkshops is to bring together researchers and practitionersinterested in the development and use of methods, tools andtheories for the computer-aided verification of concurrentsystems. The workshops provide an opportunity for comparingvarious verification methods and practical tools that can beused to assist the applications designer. Emphasis is placedon new research results and the application of existingresults to real verification problems.The volume contains 31 papers selected from 75 submissions.These are organized into parts on reduction techniques,proof checking, symbolic verification, timing verification,partial-order approaches, case studies, model and proofchecking, and other approaches. The volume starts with aninvited lectureby Leslie Lamport entitled'Computer-hindered verification (humans can do it too)'.…

Taschenbuch. Zustand: Neu. Neuware.

Taschenbuch. Zustand: Neu. Computer Aided Verification | Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings | Gregor von Bochmann (u. a.) | Taschenbuch | ix | Englisch | 1993 | Springer | EAN 9783540564966 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: Used. pp. 474 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

Zustand: Used. pp. 474.

Taschenbuch. Zustand: Neu. Testing of Communicating Systems | Tools and Techniques. Ifip Tc6/Wg6.1 13th International Conference on Testing of Communicating Systems (Testcom 2000), August 29-September 1, 2000, Ottawa, Canada | Hasan Ural (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2012 | Springer Us | EAN 9781475710168 | Verantwortliche Person für die EU: Springer Heidelberg, Tiergartenstr. 17, 69121 Heidelberg, buchhandel-buch[at]springer[dot]com | Anbieter: preigu.…

Zustand: New. Presents some of the international results in both the theory and industrial practice of the testing of communicating systems. This title discusses topics that range from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of testing, and industrial experiences and issues. Editor(s): Ural, Hasan; Probert, Robert L.; Bochmann, Gregor von. Series: IFIP Advances in Information and Communication Technology. Num Pages: 336 pages, biography. BIC Classification: TJK; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 1440. . 2000. Hardback. . . . .…

Zustand: New. Contains the research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. Editor(s): Bochmann, Gregor von; Rafiq, Omar; Dssouli, Rachida. Series: IFIP Advances in Information and Communication Technology. Num Pages: 466 pages, biography. BIC Classification: PHDS; UTP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 1850. . 1996. Hardback. . . . .…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Testing of Communicating Systems presents the latest international results in both the theory and industrial practice of the testing of communicating systems. The topics discussed range from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of testing, and industrial experiences and issues. The tools and techniques discussed apply to conformance testing, interoperability testing, performance testing of communications software, Internet protocols and applications, and multimedia and distributed systems in general, such as systems for electronic commerce. This volume contains the extensively refereed proceedings of the 13th International Conference on Testing of Communicating Systems (TestCom 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Ottawa, Ontario, Canada in early September 2000. Testing of Communicating Systems is essential reading for engineers, designers, managers of IT products and services, and all researchers interested in advancing the technology of engineering Internet frameworks, systems, services, and applications for reliability and quality.…

Zustand: New.

Gebunden. Zustand: New. Testing of Communicating Systems presents the latest international results in both the theory and industrial practice of the testing of communicating systems. The topics discussed range from tools and techniques for testing to test standards, fr.

Gebunden. Zustand: New. This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceeding.

Zustand: New. Testing of Communicating Systems presents the latest international results in both the theory and industrial practice of the testing of communicating systems. The topics discussed range from tools and techniques for testing to test standards, fr.

Paperback. Zustand: Brand New. reprint edition. 344 pages. 9.25x6.10x0.77 inches. In Stock.

Zustand: As New. Unread book in perfect condition.

Zustand: New. Presents some of the international results in both the theory and industrial practice of the testing of communicating systems. This title discusses topics that range from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of testing, and industrial experiences and issues. Editor(s): Ural, Hasan; Probert, Robert L.; Bochmann, Gregor von. Series: IFIP Advances in Information and Communication Technology. Num Pages: 336 pages, biography. BIC Classification: TJK; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 1440. . 2000. Hardback. . . . . Books ship from the US and Ireland.…

Zustand: New. Contains the research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. Editor(s): Bochmann, Gregor von; Rafiq, Omar; Dssouli, Rachida. Series: IFIP Advances in Information and Communication Technology. Num Pages: 466 pages, biography. BIC Classification: PHDS; UTP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 1850. . 1996. Hardback. . . . . Books ship from the US and Ireland.…

Buch. Zustand: Neu. Neuware - This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.…

Buch. Zustand: Neu. Neuware - Testing of Communicating Systems presents the latest international results in both the theory and industrial practice of the testing of communicating systems. The topics discussed range from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of testing, and industrial experiences and issues. The tools and techniques discussed apply to conformance testing, interoperability testing, performance testing of communications software, Internet protocols and applications, and multimedia and distributed systems in general, such as systems for electronic commerce. This volume contains the extensively refereed proceedings of the 13th International Conference on Testing of Communicating Systems (TestCom 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Ottawa, Ontario, Canada in early September 2000. Testing of Communicating Systems is essential reading for engineers, designers, managers of IT products and services, and all researchers interested in advancing the technology of engineering Internet frameworks, systems, services, and applications for reliability and quality. …

@ Type / Typ: rycina; @ Reference / Haslo: Typy estonskie; @ Administrative affiliation / Przyn. adm.: Kresy - Estonia / Eesti / Estland; @ Signature / Sygnatura: Rycina sygnowana na plycie u dolu kompozycji: w lewym rogu "G. v Bochmann" i w prawym rogu "G. HEUER&KIRMSE X. A."; @ Technique / Technika: drzeworyt sztorcowy na papierze; @ Format: 215x315 mm (kompozycja); @ Dating / Datowanie: 1888; @ Origin / Pochodzenie: Z: Ueber Land und Meer 1888/1889 z. 1 ss. 420-421; @ Printing office / Drukarnia: Drzeworytnia Heuer&Kirmse Xylographische Kunstanstalt w Berlinie, zalozona 1881 dzialala do co najmniej 1907 glownie prace dla wielu niemieckich czasopism; zob. Hanebutt-Benz 1984 lamy 1203-1204; @ Comments / Uwagi: Zachowana cala karta oraz tekst w kserokopii sygnowany pseudonimem: "Ed. O."; @ Thematic categories / Kategorie tematyczne: architektura koscioly, etnografia typy ludowe, przyroda hipologia i sceny hippiczne / Architektur Kirchen / Kirche, Etnographie Volkstypen / Volkstyp, Natur Hippologie / architecture churches / church, ethnography folk types / folk type, nature / wildlife hippology / Holzschnitt Holzstich / wood-engraving woodcut; Pozycja w stanie co najmniej dobrym, kompozycja nieznacznie poplamiona (slabe rdzawe plamki - foxing), perforacje w miejscu wydawniczego zlozenia i jednoczesnie wyjecia z oprawy. …

1 S. Visitkartenformat. Mit freundlichen Grüßen!".

1½ SS. auf Doppelblatt. 8vo. An einen namentlich nicht genannten Adressaten: "Anbei übersende ich Ihnen den von der Sammelkommission für die Wiener internationale Kunst-Ausstellung hier gewünschten Anmeldebogen. Zwei Rubriken sind mir nicht möglich auszufüllen[,] wie Sie ansehen sind es die Angaben der Maße und der Versicherungs Summe, und werden wie wohl in Berlin bei der Direction der königl. National-Gallerie zu erfahren sein [.]".…