schulte wolfram (13 Ergebnisse)

Zustand: New. pp. 368.

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.

Paperback. Zustand: Brand New. 1st edition. 349 pages. 9.00x8.75x0.50 inches. In Stock.

Paperback. Zustand: Brand New. 464 pages. 9.75x6.25x1.00 inches. In Stock.

Paperback. Zustand: Brand New. 2014 edition. 716 pages. 9.30x6.20x1.80 inches. In Stock.

Taschenbuch. Zustand: Neu. Neuware -This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the 'Yurifest' symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the24th EACSL Annual Conference on Computer Science Logic (CSL 2015).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the 'Yurifest' symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015).

Paperback. Zustand: Brand New. 332 pages. 9.00x6.00x0.75 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, held in Valencia, Spain, in September/October 2014. The 41 full papers presented in this volume were carefully reviewed and selected from a total of 126 submissions. The scope of the conference series is broad, encompassing modeling languages, methods, tools, and applications considered from theoretical and practical angles and in academic and industrial settings. The papers report on the use of modeling in a wide range of cloud, mobile, and web computing, model transformation behavioral modeling, MDE: past, present, future, formal semantics, specification, and verification, models at runtime, feature and variability modeling, composition and adaptation, practices and experience, modeling for analysis, pragmatics, model extraction, manipulation and persistence, querying, and reasoning.

Paperback. Zustand: Brand New. 324 pages. German language. 8.27x5.83x0.73 inches. In Stock.

broschiert/ Taschenbuch. VI und 309 Seiten sowie 1 Blatt. Orig. Broschur (der vordere Umschlagdeckel lose und mit Fehlstellen (vgl. Foto), der hintere Umschlagdeckel nur noch in Resten beiliegend, sonst gutes und sauberes, unaufgeschnittenes Exemplar). 4°. Erste Ausgabe. [= Urkunden und Akten der Stadt Strassburg. Erste Abtheilung]. ----- 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.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 450 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, speci cation, design, implementation, testing, and documentation. The ICFEM series of conferences aims to bring together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend,andtohelpadvancethestateoftheart.Authorsarestronglyencouraged to make their ideas as accessible as possible, and there is a clear emphasis upon work that promises to bring practical, tangible bene t: reports of case studies should have a conceptual message, theory papers should have a clear link to application, and papers describing tools should have an account of results. ICFEM 2004 was the sixth conference in the series, and the rst to be held in North America. Previous conferences were held in Singapore, China, UK, A- tralia, and Japan. The Programme Committee received 110 papers and selected 30forpresentation.The nalversionsofthosepapersareincludedhere,together with 2-page abstracts for the 5 accepted tutorials, and shorter abstracts for the 4 invited talks.