Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report

Hartmut Ehrig · Werner Damm · Jörg Desel · Martin Große-Rhode · Wolfgang Reif · Eckehard Schnieder · Engelbert Westkämper

એપ્રિલ 2011 · Springer

ઇ-પુસ્તક

630

પેજ

રેટિંગ અને રિવ્યૂ ચકાસેલા નથી વધુ જાણો

આ ઇ-પુસ્તક વિશે

This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling.

આ ઇ-પુસ્તકને રેટિંગ આપો

તમે શું વિચારો છો અમને જણાવો.

માહિતી વાંચવી

સ્માર્ટફોન અને ટૅબ્લેટ

Android અને iPad/iPhone માટે Google Play Books ઍપ ઇન્સ્ટૉલ કરો. તે તમારા એકાઉન્ટ સાથે ઑટોમૅટિક રીતે સિંક થાય છે અને તમને જ્યાં પણ હો ત્યાં તમને ઑનલાઇન અથવા ઑફલાઇન વાંચવાની મંજૂરી આપે છે.

લૅપટૉપ અને કમ્પ્યુટર

Google Play પર ખરીદેલ ઑડિઓબુકને તમે તમારા કમ્પ્યુટરના વેબ બ્રાઉઝરનો ઉપયોગ કરીને સાંભળી શકો છો.

eReaders અને અન્ય ડિવાઇસ

Kobo ઇ-રીડર જેવા ઇ-ઇંક ડિવાઇસ પર વાંચવા માટે, તમારે ફાઇલને ડાઉનલોડ કરીને તમારા ડિવાઇસ પર ટ્રાન્સફર કરવાની જરૂર પડશે. સપોર્ટેડ ઇ-રીડર પર ફાઇલો ટ્રાન્સ્ફર કરવા માટે સહાયતા કેન્દ્રની વિગતવાર સૂચનાઓ અનુસરો.

ગેરકાનૂની કન્ટેન્ટની જાણ કરો