Jastram Michael (29 results)

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: As New. Unread book in perfect condition.

broschiert/Taschenbuch. 20,5 x 25,5 cm., 63 S. Broschur mit zahlr. Abb. Texte: Matthias Flügge, Fritz Jacobi, Sehr gut erhaltenes Exemplar.

Condition: New.

Condition: New. Print on Demand.

Condition: New. Print on Demand.

Conrad GmbH, Berlin, 2006. 35 S. mit Abb., kartoniert, (Einbandkanten leicht berieben)--- 168 Gramm.

102 Seiten. Original Pappband (minimal bestoßen, sonst sehr gutes und absolut sauberes Exemplar). 4°. Erste und wohl einzige Ausgabe. ---------------------------------------------------------------------------------------------------------- ------------------------------------------------------------ ------------------------------------------------------ BITTE BEACHTEN: Auf Grund der absurden und irrsinnig teuren staatlichen Regelungen für die Entsorgung der Versandpappen in den nachfolgenden Ländern, kann ich leider nicht mehr liefern nach: Österreich, Griechenland, Polen. Kunden in ÖSTERREICH können sich aber an die einheimische Post wenden, dort unter Alles Post Deutschland. --- PLEASE NOTE: Due to the absurd and insanely expensive government regulations for the disposal of shipping cartons in the following countries, I can unfortunately no longer deliver to: Austria, Greece, Poland. However, customers in AUSTRIA can contact their local post office, there under Alles Post Deutschland.

Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Hardcover. 4°. Original-Halbleinenband mit farbiger Deckelillustration (Gestaltung: Thomas H. Weber). 142 (+2) Seiten. Mit mehr als 17 teilweise signierten Radierungen. Das Buch außen und innen sehr sauber und eintragungsfrei. Richtig guter Gesamtzustand. Auflage: 95 Exemplaren. - U.a. mit folgenden Texten (siehe auch Abbildungen): Louis Aragon: Das Naturgefühl auf den Buttes-Chaumont / Maurice Blanchot: Nach Rimbaud / Jean-Pierre Duprey: Drei Feuer und ein Turm . -- Bitte Portokosten außerhalb EU erfragen! / Please ask for postage costs outside EU! / S ' il vous plait demander des frais de port en dehors de l ' UE! // Bitte beachten Sie auch unsere Fotos! / Please also note our photos! / Veuillez noter nos photos -- Lesen Sie etwas Schönes auf einer Bank in der Frühlingssonne! Wir haben die passende Lektüre. -- Wir kaufen Ihre werthaltigen Bücher! Illu.

Hardcover. 4°, 29,5 x 21 cm. Originaler Halbleinenband mit farbiger Deckelillustration ( Original-Siebdruck von Thomas H. Weber ). 147 (2) Seiten mit 20 teilweise farbigen Siebdrucken, Zeichnungen, Radierungen sowie Lithographien, einige davon doppelblattgroß, alle vom jeweiligen künstler am unteren Rand in Bleistift signiert. Außen und innen sauber und eintragungsfrei. Sehr guter Zustand. Auflage: 95 Exemplare. - Dieses Exemplar ist nicht numeriert. -- Bitte Portokosten außerhalb EU erfragen! / Please ask for postage costs outside EU! / S ' il vous plait demander des frais de port en dehors de l ' UE! // Bitte beachten Sie auch unsere Fotos! / Please also note our photos! / Veuillez noter nos photos -- Lesen Sie etwas Schönes auf einer Bank in der Frühlingssonne! Wir haben die passende Lektüre. -- Wir kaufen Ihre werthaltigen Bücher! FL6397.

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 367 | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar.

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 367 | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar.

Broschiert. Condition: Sehr gut. 1 Bd., überw. ill. Broschierter Einband nur wenig berieben, sonst sauber und sehr gut erhalten. Werktäglicher Versand. Jede Lieferung m. ordentl. Rechnung und ausgew. MwSt. Der Versand erfolgt als Büchersendung / Einschreiben mit der Deutschen Post bzw. als Päckchen / Paket mit DHL. Die Lieferzeit ist abhängig von der Versandart und beträgt innerhalb Deutschlands 3-5 Tage, in der EU 5 - 12 Tage. KEIN Versand an Packstationen. Körperschaften und juristische Personen werden auf Wunsch per offener Rechnung beliefert. ***ATTENTION U.S. CUSTOMERS: Due to the new tariffs, we are unable to ship packages to the USA at this time. Thank you for understanding.*** Sprache: Deutsch Gewicht in Gramm: 550.

Condition: Sehr gut. 1. Aufl. 22 S., farb. Abb., 30cm x 21cm geheftet, Eb mit minimalsten Gebrauchsspuren, ansonsten tadelloses Ex. Unzugeordnet Altersfreigabe FSK ab 0 Jahre Sprache: Deutsch Gewicht in Gramm: 150.

Condition: Gut. 4°. Original-Halbleinenband mit farbiger Deckelillustration (Gestaltung: Thomas H. Weber). 142 (+2) Seiten. Mit mehr als 17 teilweise signierten Radierungen. OHln Sprache: Deutsch Gewicht in Gramm: 550.

Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Paperback. Condition: new. Paperback. Creating a system description of high quality is still a challenging problem in the field of requirements engineering. Creating a formal system description addresses some issues. However, the relationship of the formal model to the user requirements is rarely clear, or documented satisfactorily. This work presents the ProR approach, an approach for the creation of a consistent system description from an initial set of requirements. The resulting system description is a mixture of formal and informal artefacts. Formal and informal reasoning is employed to aid in the process. To achieve this, the artefacts must be connected by traces to support formal and informal reasoning, so that conclusions about the system description can be drawn. The ProR approach enables the incremental creation of the system description, alternating between modelling (both formal and informal) and validation. During this process, the necessary traceability for reasoning about the system description is established. The formal model employs refinement for further structuring of large and complex system descriptions. The development of the ProR approach is the first contribution of this work. This work also presents ProR, a tool platform for requirements engineering, that supports the ProR approach. ProR has been integrated with Rodin, a tool for Event-B modelling, to provide a number of features that allow the ProR approach to scale. The core features of ProR are independent from the ProR approach. The data model of ProR builds on the international ReqIF standard, which provides interoperability with industrial tools for requirements engineering. The development of ProR created enough interest to justify the creation of the Requirements Modeling Framework (RMF), a new Eclipse Foundation project, which is the open source host for ProR. RMF attracted an active community, and ProR development continues. The development of ProR is the second contribution of this work. This work is accompanied by a case study of a traffic light system, which demonstrates the application of both the ProR approach and ProR. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Paperback. Condition: new. Paperback. Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modeling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels. The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extendible with plugins. This book provides a tutorial for new users and a reference about the Rodin platform, the Event-B modeling notation and its mathematical toolkit. The handbook is licensed as Creative Commons CC-SA. This printed version has been produced at the request of many users by Formal Mind. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Paperback. Condition: new. Paperback. ReqIF Studio is a free editor for requirements, based on the Requirements Interchange Format (ReqIF). It is based on the open source Eclipse RMF, enhanced with Essentials, the free productivity suite by Formal Mind. With ReqIF Studio, you can: (1) Manage requirements professionally. ReqIF Studio supports everything you need for professional requirements management: Arbitrary attributes of requirements, linking within and across specifications, and the ability to integrate seamlessly with other tools. (2) Directly view and edit requirements in the ReqIF format. ReqIF is an international standard for the exchange of requirements. It is supported by many commercial requirements tools. (3) Easy to get started, plenty of room for growth. You will have ReqIF Studio up and running within minutes. As your needs grow, you can augment it with many components from the Eclipse ecosystem, like test integration or UML model tracing. As it is built on an open platform, you can also create your own extensions. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.