Holdings: Modeling companion for software practitioners

Modeling companion for software practitioners:

Saved in:

Bibliographic Details
Main Authors:	Börger, Egon 1946- (Author), Raschke, Alexander (Author)
Format:	Book
Language:	English
Published:	Berlin Springer 2018
Subjects:	Modellierung Software Abstrakte Zustandsmaschine KJQ Abstract State Machines Software Development Software Modeling Business Process Modeling Abstraction, Modeling and Modularity System Description Languages Modeling Methodologies
Online Access:	Inhaltstext Inhaltsverzeichnis
Physical Description:	XXI, 349 Seiten Illustrationen, Diagramme 23.5 cm x 15.5 cm
ISBN:	9783662566398 3662566397

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV045087324
003	DE-604
005	20180907
007	t
008	180713s2018 gw a\|\|\| \|\|\|\| 00\|\|\| eng d
015			\|a 18,N06 \|2 dnb
016	7		\|a 1151456853 \|2 DE-101
020			\|a 9783662566398 \|c Pbk. \|9 978-3-662-56639-8
020			\|a 3662566397 \|c Pbk. \|9 3-662-56639-7
035			\|a (OCoLC)1043873712
035			\|a (DE-599)DNB1151456853
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-11 \|a DE-91G
084			\|a ST 230 \|0 (DE-625)143617: \|2 rvk
084			\|a DAT 310f \|2 stub
100	1		\|a Börger, Egon \|d 1946- \|e Verfasser \|0 (DE-588)174088558 \|4 aut
245	1	0	\|a Modeling companion for software practitioners \|c Egon Börger, Alexander Raschke
264		1	\|a Berlin \|b Springer \|c 2018
264		4	\|c © 2018
300			\|a XXI, 349 Seiten \|b Illustrationen, Diagramme \|c 23.5 cm x 15.5 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
650	0	7	\|a Modellierung \|0 (DE-588)4170297-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Software \|0 (DE-588)4055382-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Abstrakte Zustandsmaschine \|0 (DE-588)4637783-9 \|2 gnd \|9 rswk-swf
653			\|a KJQ
653			\|a Abstract State Machines
653			\|a Software Development
653			\|a Software Modeling
653			\|a Business Process Modeling
653			\|a Abstraction, Modeling and Modularity
653			\|a System Description Languages
653			\|a Modeling Methodologies
689	0	0	\|a Software \|0 (DE-588)4055382-6 \|D s
689	0	1	\|a Modellierung \|0 (DE-588)4170297-9 \|D s
689	0	2	\|a Abstrakte Zustandsmaschine \|0 (DE-588)4637783-9 \|D s
689	0		\|5 DE-604
700	1		\|a Raschke, Alexander \|e Verfasser \|0 (DE-588)140308342 \|4 aut
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=28fd902d388f4bc786592cdc56b544c3&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030478187&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-030478187

Record in the Search Index

_version_	1804178707807469568
adam_text	CONTENTS P A RT I M ODELING 1 INTRODUCTION : T HE ROLE OF M O D E LIN G ........................................ 3 1.1 GROUND MODEL C ONCERN ............................................................. 4 1.1.1 GROUND MODEL CORRECTNESS AND COMPLETENESS ............. 6 1.1.2 APPROPRIATENESS OF ASMS AS GROUND MODELS ............... 8 1.2 MODEL REFINEMENT C ONCERN........................................................ 11 2 SEVEN C ONSTRU CTS FOR M ODELING SINGLE-AGENT B EHAVIOR .... 15 2.1 A SSIGNM ENT, IF TH E N ELSE, PA R: TRAFFIC LIGHT C ONTROL ___ 17 2.1.1 ONE-WAY TRAFFIC LIGHT GROUND MODEL........................... 18 2.1.2 REFINING ONE-WAY TRAFFIC LIGHT CONTROL ....................... 27 2.1.3 ADDING REQUIREMENTS BY HORIZONTAL REFINEMENT.......... 32 2.1.4 MODEL REUSE: TWO-WAY TRAFFIC LIGHT C O N TRO L ............. 35 2.2 MODEL REUSE VIA REFINEMENT: SLUICE GATE C O N TRO L ................ 41 2.2.1 REFINEMENT TO M OTOR D RIVEN S LUICE G ATE ................. 44 2.2.2 REFINEMENT TO S LUICE G ATE P ULSE C TL MACHINE.......... 46 2.2.3 ADDING REQUIREMENTS TO S LUICE G ATE P ULSE C T L ........ 46 2.2.4 MODEL REUSE FOR S LUICE G ATE O PERATOR ..................... 47 2.3 SYNCHRONOUS PARALLELISM (FORALL) AND LE T* ............................. 52 2.3.1 P ACKAGE R OUTER GROUND MODEL (WITH NEW ,SE LF) .. 52 2.4 MACHINE CALL* AND NONDETERMINISM (CHOOSE): ATM ........... 64 2.4.1 P ROCESS C ARD I NSERTION C OM PONENT ......................... 68 2.4.2 P ROCESS P IN R EQUEST C OM PONENT............................... 69 2.4.3 P ROCESS O P R EQUEST COMPONENT................................. 71 2.4.4 P ROCESS CRC ONTACT COM PONENT............................... 75 2.4.5 P ROCESS CRR ESPONSE COMPONENT............................... 76 2.4.6 TERMINATION ACTIONS: T ERMINATE COM PONENT ........... 77 2.4.7 H ANDLE F AILURE AND I NTERRUPT COMPONENTS .......... 79 2.4.8 ASSUMPTIONS FOR THE CENTRAL RESOURCE........................... 81 2.4.9 REFINEMENTS OF AUXILIARY ATM COMPONENTS ............... 83 2.5 RECAP: SINGLE-AGENT ASM CONSTRUCTS/REFINEMENTS............... 87 3 M ODELING C O NCURRENT S Y S TE M S ........................ 93 3.1 FROM SYNCHRONOUS TO ASYNCHRONOUS MODELS ............................. 96 3.1.1 SYNCHRONOUS E XTREMA F INDING GROUND M ODEL.......... 97 3.1.2 REFINED CONCURRENT C ONCUR E XTREMA F IN D IN G ..........100 3.2 ROLE OF MODEL VALIDATION: TERMINATION DETECTION ..................... 103 3.2.1 THE SIGNATURE OF T ERMINATION D E T E C T IO N ..................105 3.2.2 THE BEHAVIOR OF T ERMINATION D E T E C T IO N ................... 107 3.2.3 CORRECTNESS AFTER REQUIREMENTS COMPLETION ........ . 112 3.3 COMMUNICATING A SM S..................................................................115 3.3.1 MONITORING ASYNCHRONOUS NETWORK SYSTEM R U N S ........ 118 3.3.2 LOCAL SYNCHRONIZATION O PERATOR.......................................125 3.4 RECAP: SEQUENTIAL VERSUS CONCURRENT ASM S ............................... 132 4 M ODELING C ONTEXT A W A RE N ESS........................................................135 4.1 DEFINITION OF AMBIENT ASM S........................................................135 4.2 ENCAPSULATING STATES AND RUNS BY AMBIENT ASMS ................... 138 4.2.1 ENCAPSULATING STATE: SCOPING DISCIPLINES ....................... 138 4.2.2 ENCAPSULATING COMPUTATIONS: THREAD H ANDLING..........140 4.3 MODELING BEHAVIORAL PROGRAMMING P A TTE RN S ............................. 144 4.4 COMMUNICATION P ATTERN S..............................................................150 4.4.1 BILATERAL INTERACTION P ATTERN S .......................................... 150 4.4.2 MULTILATERAL INTERACTION P A TTE RN S.....................................157 4.4.3 SYNCHRONOUS MESSAGE PASSING PATTERN ........................... 159 4.5 INTEGRATING SEQUENTIAL CONTROL INTO PARALLEL EXECUTION............164 4.5.1 STEPWISE COMPOSED SUBMACHINES.....................................166 4.5.2 ATOMIC SEQUENTIALLY-COMPOSED (TURBO) A SM S............171 4.5.3 CONTROL CONSTRUCT AW AIT IN CONCURRENT A SM S............174 5 M ODELING BUSINESS PROCESSES ........................................................181 5.1 VIRTUAL PROVIDER (COMPOSITION OF PROCESS MEDIATORS) .............. 182 5.1.1 V IRTUAL P ROVIDER COMMUNICATION COMPONENTS ........ 183 5.1.2 P ROCESS COMPONENT OF V IRTUAL P R O V ID E R ................184 5.1.3 EXAMPLE: VIRTUAL INTERNET SERVICE PROVIDER ................... 187 5.1.4 WORKFLOW PATTERNS (COMPOSITION OF V PS) ....................... 189 5.2 ASM NET DIAGRAMS ....................................................................... 190 5.2.1 GUARD-STATE-MILESTONE APPROACH TO B P M ..................... 193 5.2.2 S-BPM COMMUNICATION M ODEL.........................................194 5.3 FURTHER BPM APPLICATIONS OF A SM S .......................................... 204 6 M ODELING D ISTRIB U TED S Y S TE M S ......................................................207 6.1 ROUTING IN MOBILE AD HOC NETWORKS..................................... 207 6.1.1 A ODV MACHINE AND DATA STRUCTURE.................................208 6.1.2 GENERATING AND PROCESSING ROUTE REQUESTS ................... 214 6.1.3 GENERATING AND PROCESSING ROUTE REPLIES ....................... 218 6.1.4 GENERATING AND PROCESSING ROUTE ERROR MESSAGES .... 223 6.2 CONCURRENCY WITH RELAXED SHARED MEMORY M ODEL ................. 224 6.2.1 MEMORY REPLICATION GROUND MODEL.................................225 6.2.2 REPLICATION POLICY REFINEMENT ........................................ 231 6.2.3 DATA CENTER COMMUNICATION REFINEMENT ....................... 232 6.3 SOME COMPARATIVE CASE STUDIES................................................238 P A RT II IM PLEM ENTATION 7 S YNTAX AND SEM ANTICS OF A S M S....................................................243 7.1 MATHEMATICAL STRUCTURES (ASM STATES) .................................... 243 7.2 SEQUENTIAL AND CONCURRENT ASMS..............................................245 7.2.1 AMBIENT ASMS ................................................................. 249 8 D EBUGGING SYSTEM DESIGN (C O REA S M ) ...................................... 251 8.1 THE FORMAL MODEL OF COREASM................................................253 8.1.1 KERNEL, ENGINE LIFE CYCLE, PLUG-IN A RCHITECTURE............254 8.1.2 STORING ABSTRACT D A TA ......................................................256 8.1.3 PARSING SPECIFICATIONS........................................................262 8.1.4 SCHEDULING AND EXECUTING AGENTS .................................... 268 8.1.5 INTERPRETING A FLEXIBLE LANGUAGE .................................... 272 8.2 TRANSLATING ABSTRACT TO COREASM EXECUTABLE MODELS............277 8.3 EXPLOITING THE FLEXIBILITY: A DEBUGGER FOR COREASM ............. 283 8.4 RELATED TOOLS ................................................................................ 293 9 C ONTROL S TATE D IAGRAM S (M ETA M O D E L) ...................................... 297 9.1 STATIC CSD GRAPH STRUCTURE........................................................299 9.2 CONCRETE SYNTAX OF CSDS ............................................................. 302 9.3 ADDITIONAL CONSTRAINTS ON CSDS L AB ELS .................................. 303 9.4 BEHAVIOR OF CSDS (TRANSLATION TO ASMS) ................................ 304 9.5 SUBDIAGRAM REPLACEMENTS TO REFINE CSDS.................................312 E P ILO G U E....................................................................................................... 317 A SOME C OM PLETE M ODELS IN A N U TS H E LL ......................................... 319 A.L T ERMINATION D ETECTION (SECT. 3 .2 ) ........................................ 320 A. 1.1 TOKEN PASSING COMPONENTS..............................................320 A.1.2 ACTIVATION RELATED COMPONENTS ...................................... 320 A.1.3 SOME AUXILIARY DEFINITIONS ..............................................321 A.2 VIRTU AL P ROVIDER (SECT. 5 .1 ) .................................................. 321 A.2.1 COMMUNICATION COMPONENTS .......................................... 321 A.2.2 P ROCESS COMPONENT........................................................322 A.3 A ODV S PEC (SECT. 6.1) ................................................................. 323 A.3.1 ROUTE REQUEST COMPONENTS OF A ODV S P E C .................... 324 A.3.2 ROUTE REPLY COMPONENTS OF A ODV S PEC ......................326 A.3.3 ROUTE ERROR COMPONENTS OF A ODV S P E C ......................... 327 A.4 RELAXED SHARED MEMORY MODEL (SECT. 6.2) ............................... 328 A.4.1 D ATA C ENTER U SER V IEW * ...................................................328 A.4.2 C LUSTER D ATA C ENTER *.......................................................329 R EFEREN CES....................................................................................................333 I N D E X ..............................................................................................................347
any_adam_object	1
author	Börger, Egon 1946- Raschke, Alexander
author_GND	(DE-588)174088558 (DE-588)140308342
author_facet	Börger, Egon 1946- Raschke, Alexander
author_role	aut aut
author_sort	Börger, Egon 1946-
author_variant	e b eb a r ar
building	Verbundindex
bvnumber	BV045087324
classification_rvk	ST 230
classification_tum	DAT 310f
ctrlnum	(OCoLC)1043873712 (DE-599)DNB1151456853
discipline	Informatik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02198nam a2200553 c 4500</leader><controlfield tag="001">BV045087324</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180907 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">180713s2018 gw a\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">18,N06</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1151456853</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662566398</subfield><subfield code="c">Pbk.</subfield><subfield code="9">978-3-662-56639-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3662566397</subfield><subfield code="c">Pbk.</subfield><subfield code="9">3-662-56639-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1043873712</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1151456853</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Börger, Egon</subfield><subfield code="d">1946-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)174088558</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modeling companion for software practitioners</subfield><subfield code="c">Egon Börger, Alexander Raschke</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">2018</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2018</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXI, 349 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</subfield><subfield code="c">23.5 cm x 15.5 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abstrakte Zustandsmaschine</subfield><subfield code="0">(DE-588)4637783-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">KJQ</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Abstract State Machines</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Software Development</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Software Modeling</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Business Process Modeling</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Abstraction, Modeling and Modularity</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">System Description Languages</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Modeling Methodologies</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Abstrakte Zustandsmaschine</subfield><subfield code="0">(DE-588)4637783-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Raschke, Alexander</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)140308342</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=28fd902d388f4bc786592cdc56b544c3&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030478187&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030478187</subfield></datafield></record></collection>
id	DE-604.BV045087324
illustrated	Illustrated
indexdate	2024-07-10T08:08:15Z
institution	BVB
isbn	9783662566398 3662566397
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-030478187
oclc_num	1043873712
open_access_boolean
owner	DE-11 DE-91G DE-BY-TUM
owner_facet	DE-11 DE-91G DE-BY-TUM
physical	XXI, 349 Seiten Illustrationen, Diagramme 23.5 cm x 15.5 cm
publishDate	2018
publishDateSearch	2018
publishDateSort	2018
publisher	Springer
record_format	marc
spelling	Börger, Egon 1946- Verfasser (DE-588)174088558 aut Modeling companion for software practitioners Egon Börger, Alexander Raschke Berlin Springer 2018 © 2018 XXI, 349 Seiten Illustrationen, Diagramme 23.5 cm x 15.5 cm txt rdacontent n rdamedia nc rdacarrier Modellierung (DE-588)4170297-9 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf Abstrakte Zustandsmaschine (DE-588)4637783-9 gnd rswk-swf KJQ Abstract State Machines Software Development Software Modeling Business Process Modeling Abstraction, Modeling and Modularity System Description Languages Modeling Methodologies Software (DE-588)4055382-6 s Modellierung (DE-588)4170297-9 s Abstrakte Zustandsmaschine (DE-588)4637783-9 s DE-604 Raschke, Alexander Verfasser (DE-588)140308342 aut X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=28fd902d388f4bc786592cdc56b544c3&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030478187&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Börger, Egon 1946- Raschke, Alexander Modeling companion for software practitioners Modellierung (DE-588)4170297-9 gnd Software (DE-588)4055382-6 gnd Abstrakte Zustandsmaschine (DE-588)4637783-9 gnd
subject_GND	(DE-588)4170297-9 (DE-588)4055382-6 (DE-588)4637783-9
title	Modeling companion for software practitioners
title_auth	Modeling companion for software practitioners
title_exact_search	Modeling companion for software practitioners
title_full	Modeling companion for software practitioners Egon Börger, Alexander Raschke
title_fullStr	Modeling companion for software practitioners Egon Börger, Alexander Raschke
title_full_unstemmed	Modeling companion for software practitioners Egon Börger, Alexander Raschke
title_short	Modeling companion for software practitioners
title_sort	modeling companion for software practitioners
topic	Modellierung (DE-588)4170297-9 gnd Software (DE-588)4055382-6 gnd Abstrakte Zustandsmaschine (DE-588)4637783-9 gnd
topic_facet	Modellierung Software Abstrakte Zustandsmaschine
url	http://deposit.dnb.de/cgi-bin/dokserv?id=28fd902d388f4bc786592cdc56b544c3&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030478187&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT borgeregon modelingcompanionforsoftwarepractitioners AT raschkealexander modelingcompanionforsoftwarepractitioners

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Description

MARC

Record in the Search Index

There is no print copy available.

Similar Items