Book Search Results

“Tools and algorithms for the construction and analysis of systems” Metadata:

• Title: ➤  Tools and algorithms for the construction and analysis of systems
• Language: English
• Number of Pages: Median: 482
• Publisher: Springer
• Publish Date: 2002

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

• Subjects: Development - Congresses - System design - Computer software

Edition Identifiers:

• The Open Library ID: OL9490699M
• All ISBNs: 9783540434191 - 3540434194

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Author: Nicolas Halbwachs,Lenore Zuck
• Publisher: Springer
• Publish Date: 2008

Edition Identifiers:

• The Open Library ID: OL28158414M
• All ISBNs: 3540809104 - 9783540809104

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Author: C. R. Ramakrishnan,Jakob Rehof
• Publisher: Springer
• Publish Date: 2008

Edition Identifiers:

• The Open Library ID: OL27972168M
• All ISBNs: 9783540849537 - 354084953X

“Tools and algorithms for the construction and analysis of systems” Metadata:

• Title: ➤  Tools and algorithms for the construction and analysis of systems
• Author: ➤  TACAS '96 (1996 Passau, Germany)
• Language: English
• Number of Pages: Median: 434
• Publisher: Springer
• Publish Date: 1996
• Publish Location: New York - Berlin

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

• Subjects: ➤  Congresses - Development - Distributed processing - System design - Congress - Electronic data processing - Computer software

Edition Identifiers:

• The Open Library ID: OL967635M
• Library of Congress Control Number (LCCN): 96004088
• All ISBNs: 9783540610427 - 3540610421

“Tools and algorithms for the construction and analysis of systems” Metadata:

• Title: ➤  Tools and algorithms for the construction and analysis of systems
• Author: ➤  International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (2nd 1996 Passau, Germany)
• Language: English
• Number of Pages: Median: 434
• Publisher: Springer
• Publish Date: 1996
• Publish Location: Berlin - London

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

• Subjects: ➤  Congresses - Development - Distributed processing - System design - Congress - Electronic data processing - Computer software - Computer software, development - Electronic data processing, distributed processing

Edition Identifiers:

• The Open Library ID: OL21843293M
• Online Computer Library Center (OCLC) ID: 34472909
• Library of Congress Control Number (LCCN): 96004088
• All ISBNs: 9783540610427 - 3540610421

“Tools and algorithms for the construction and analysis of systems” Metadata:

• Title: ➤  Tools and algorithms for the construction and analysis of systems
• Author: ➤  TACAS '97 (1997 Enschede, Netherlands)
• Language: English
• Number of Pages: Median: 431
• Publisher: Springer
• Publish Date: 1997
• Publish Location: Berlin - New York

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

• Subjects: Congresses - Development - System design - Computer software

Edition Identifiers:

• The Open Library ID: OL665417M
• Library of Congress Control Number (LCCN): 97011043
• All ISBNs: 9783540627906 - 3540627901

“Tools and algorithms for the construction and analysis of systems” Metadata:

• Title: ➤  Tools and algorithms for the construction and analysis of systems
• Author: ➤  TACAS '95 (1995 Århus, Denmark)
• Language: English
• Number of Pages: Median: 289
• Publisher: Springer
• Publish Date: 1995
• Publish Location: New York - Berlin

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

• Subjects: ➤  Congresses - Development - Distributed processing - System design - Congress - Electronic data processing - Computer software - Computer software, development - Electronic data processing, distributed processing

Edition Identifiers:

• The Open Library ID: OL810579M
• Online Computer Library Center (OCLC) ID: 33439667
• Library of Congress Control Number (LCCN): 95047444
• All ISBNs: 3540606300 - 9783540606307

“Tools and algorithms for the construction and analysis of systems” Metadata:

• Title: ➤  Tools and algorithms for the construction and analysis of systems
• Author: ➤  International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (3rd 1997 Enschede, The Netherlands)
• Language: English
• Number of Pages: Median: 431
• Publisher: Springer
• Publish Date: 1997
• Publish Location: Berlin - London

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

• Subjects: Congresses - Development - System design - Computer software - Computer programming

Edition Identifiers:

• The Open Library ID: OL22336343M
• Online Computer Library Center (OCLC) ID: 36597761
• Library of Congress Control Number (LCCN): 97011043
• All ISBNs: 3540627901 - 9783540627906

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Author: Germany) Tacas 9 (1996 Passau
• Language: English
• Number of Pages: Median: 434
• Publisher: Springer
• Publish Date: 1996

Edition Identifiers:

• The Open Library ID: OL9061796M
• All ISBNs: 9783540610427 - 3540610421

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Author: Ed Brinksma
• Language: English
• Number of Pages: Median: 433
• Publisher: Springer
• Publish Date: 1997

Edition Identifiers:

• The Open Library ID: OL9062154M
• All ISBNs: 9783540627906 - 3540627901

“Tools and algorithms for the construction and analysis of systems” Metadata:

• Title: ➤  Tools and algorithms for the construction and analysis of systems
• Language: English
• Number of Pages: Median: 608
• Publisher: Springer
• Publish Date: 2004

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

• Subjects: Development - Congresses - System design - Computer software

Edition Identifiers:

• The Open Library ID: OL9818211M
• All ISBNs: 354021299X - 9783540212997

“Tools and algorithms for the construction and analysis of systems” Metadata:

• Title: ➤  Tools and algorithms for the construction and analysis of systems
• Language: English
• Number of Pages: Median: 588
• Publisher: Springer
• Publish Date: 2001

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

• Subjects: Development - Congresses - System design - Computer software

Edition Identifiers:

• The Open Library ID: OL9728971M
• All ISBNs: 3540418652 - 9783540418658

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Author: Bernhard Steffen
• Language: English
• Number of Pages: Median: 457
• Publisher: Springer
• Publish Date: 1998

“Tools and Algorithms for the Construction and Analysis of Systems” Subjects and Themes:

• Subjects: Development - Congresses - System design - Computer software

Edition Identifiers:

• The Open Library ID: OL9062571M
• All ISBNs: 3540643567 - 9783540643562

“Tools and algorithms for the construction and analysis of systems” Metadata:

• Title: ➤  Tools and algorithms for the construction and analysis of systems
• Language: English
• Number of Pages: Median: 506
• Publisher: Springer
• Publish Date: 2006

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

• Subjects: Development - Congresses - System design - Computer software

Edition Identifiers:

• The Open Library ID: OL9308057M
• All ISBNs: 3540330569 - 9783540330561

“Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440)” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440)
• Language: English
• Number of Pages: Median: 588
• Publisher: Springer
• Publish Date: 2005

“Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440)” Subjects and Themes:

• Subjects: Logic design - Computer networks - Software engineering - Computer software

Edition Identifiers:

• The Open Library ID: OL9631067M
• All ISBNs: 3540253335 - 9783540253334

“Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
• Authors: Dirk BeyerMarieke HuismanFabrice KordonBernhard Steffen
• Number of Pages: Median: 272
• Publisher: Springer - Springer Nature
• Publish Date: 2019

Edition Identifiers:

• The Open Library ID: OL30087406M - OL31369581M
• All ISBNs: 3030175022 - 9783030175023 - 3030175014 - 9783030175016

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Authors: Marsha ChechikJean-François Raskin
• Language: English
• Number of Pages: Median: 971
• Publisher: ➤  Springer London, Limited - Springer
• Publish Date: 2016

“Tools and Algorithms for the Construction and Analysis of Systems” Subjects and Themes:

• Subjects: System design - System analysis - Computer software, development

Edition Identifiers:

• The Open Library ID: OL28150787M - OL34534550M
• All ISBNs: 3662496739 - 9783662496749 - 3662496747 - 9783662496732

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Authors: Christel BaierCesare Tinelli
• Language: English
• Number of Pages: Median: 725
• Publisher: ➤  Springer Berlin / Heidelberg - Springer London, Limited
• Publish Date: 2015

“Tools and Algorithms for the Construction and Analysis of Systems” Subjects and Themes:

• Subjects: System design - System analysis - Computer software, development

Edition Identifiers:

• The Open Library ID: OL34514039M - OL34520701M
• All ISBNs: 3662466805 - 3662466813 - 9783662466803 - 9783662466810

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Authors: Erika AbrahamKlaus Havelund
• Language: English
• Number of Pages: Median: 661
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2014

“Tools and Algorithms for the Construction and Analysis of Systems” Subjects and Themes:

• Subjects: ➤  System analysis - Congresses - Verification - System design - Computer software - Algorithms

Edition Identifiers:

• The Open Library ID: OL34520725M - OL27961388M
• Library of Congress Control Number (LCCN): 2014934147
• All ISBNs: 3642548628 - 9783642548611 - 364254861X - 9783642548628

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Author: Nir Piterman
• Language: English
• Number of Pages: Median: 658
• Publisher: ➤  Imprint: Springer - Springer - Springer Berlin Heidelberg
• Publish Date: 2013
• Publish Location: Berlin, Heidelberg

“Tools and Algorithms for the Construction and Analysis of Systems” Subjects and Themes:

• Subjects: ➤  Logic design - Logics and Meanings of Programs - Computer science - Software engineering - Programming Languages, Compilers, Interpreters - Algorithm Analysis and Problem Complexity - Computer software - System design - System analysis

Edition Identifiers:

• The Open Library ID: OL27956261M - OL27092248M
• All ISBNs: 3642367429 - 9783642367427 - 3642367410 - 9783642367410

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Authors: Javier EsparzaRupak Majumdar
• Language: English
• Publisher: Springer London, Limited
• Publish Date: 2010

Edition Identifiers:

• The Open Library ID: OL37139274M
• All ISBNs: 9783642120022 - 3642120024

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Authors: Joost-Pieter KatoenPerdita Stevens
• Language: English
• Number of Pages: Median: 486
• Publisher: Springer London, Limited
• Publish Date: 2003

Edition Identifiers:

• The Open Library ID: OL34472502M
• All ISBNs: 3540460020 - 9783540460022

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Authors: Hubert GaravelJohn Hatcliff
• Language: English
• Publisher: Springer London, Limited
• Publish Date: 2003

Edition Identifiers:

• The Open Library ID: OL35750278M
• All ISBNs: 9783540365778 - 354036577X

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Authors: Nicolas HalbwachsLenore Zuck
• Language: English
• Publisher: Springer London, Limited
• Publish Date: 2005

“Tools and Algorithms for the Construction and Analysis of Systems” Subjects and Themes:

• Subjects: System design - Computer software

Edition Identifiers:

• The Open Library ID: OL35767177M
• All ISBNs: 9783540319801 - 3540319808

“Tools and algorithms for the construction and analysis of systems” Metadata:

• Title: ➤  Tools and algorithms for the construction and analysis of systems
• Author: ➤  TACAS 2010 (2010 Paphos, Cyprus)
• Language: English
• Number of Pages: Median: 468
• Publisher: Springer
• Publish Date: 2010
• Publish Location: Berlin - New York

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

• Subjects: ➤  Development - Model Checking - Congresses - System design - System analysis - Softwareentwicklung - Computer software - Theoretische Informatik - Systementwicklung - Programmanalyse - Logic design - Computer networks - Artificial intelligence - Software engineering - Computer science

Edition Identifiers:

• The Open Library ID: OL25296754M
• Online Computer Library Center (OCLC) ID: 586999181
• Library of Congress Control Number (LCCN): 2010921913
• All ISBNs: 3642120016 - 9783642120015

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Author: ➤  Hutchison, David - undifferentiated
• Language: English
• Publisher: Springer Berlin Heidelberg
• Publish Date: 2009
• Publish Location: Berlin, Heidelberg

“Tools and Algorithms for the Construction and Analysis of Systems” Subjects and Themes:

• Subjects: ➤  Logic design - Computer science - Software engineering - Computer software - System design - Computer software, development - Congresses - System analysis - Development

Edition Identifiers:

• The Open Library ID: OL25542796M
• Online Computer Library Center (OCLC) ID: 316828838
• All ISBNs: 3642007678 - 9783642007675 - 3642007686 - 9783642007682

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Authors: Tomáš VojnarLijun Zhang
• Number of Pages: Median: 435
• Publisher: ➤  Springer Nature - Saint Philip Street Press - Springer
• Publish Date: 2019 - 2020

Edition Identifiers:

• The Open Library ID: ➤  OL28175537M - OL31369579M - OL32455880M - OL28196472M - OL31369555M - OL32939575M
• All ISBNs: ➤  1013271238 - 3030174654 - 9781013271274 - 3030174611 - 9783030174651 - 9783030174644 - 1013271270 - 303017462X - 3030174646 - 9783030174620 - 9781013271236 - 9783030174613

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Author: Cormac Flanagan
• Language: English
• Number of Pages: Median: 582
• Publisher: ➤  Springer - Springer Berlin Heidelberg
• Publish Date: 2012
• Publish Location: Berlin, Heidelberg

“Tools and Algorithms for the Construction and Analysis of Systems” Subjects and Themes:

• Subjects: ➤  Programming Techniques - Software engineering - Computer networks - Logic design - Logics and Meanings of Programs - Computer science - Programming Languages, Compilers, Interpreters - Artificial intelligence - Artificial Intelligence (incl. Robotics) - Computer Communication Networks

Edition Identifiers:

• The Open Library ID: OL28159754M - OL27092249M
• All ISBNs: 9783642287565 - 3642287573 - 9783642287572 - 3642287565

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Authors: Holger HermannsJens Palsberg
• Language: English
• Publisher: Springer London, Limited
• Publish Date: 2006

“Tools and Algorithms for the Construction and Analysis of Systems” Subjects and Themes:

• Subjects: System design - Computer software, development

Edition Identifiers:

• The Open Library ID: OL35768887M
• All ISBNs: 3540330577 - 9783540330578

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Authors: C.R. RamakrishnanJakob Rehof
• Language: English
• Number of Pages: Median: 520
• Publisher: Springer London, Limited
• Publish Date: 2008

Edition Identifiers:

• The Open Library ID: OL34456967M
• All ISBNs: 354078800X - 9783540788003

“Tools and algorithms for the construction and analysis of systems” Metadata:

• Title: ➤  Tools and algorithms for the construction and analysis of systems
• Author: ➤  International Conference on Tools and Algorithms for the Construction and Analysis of Systems (4th 1998 Lisbon, Portugal)
• Language: English
• Number of Pages: Median: 455
• Publisher: Springer
• Publish Date: 1998
• Publish Location: Berlin - London

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

• Subjects: ➤  Congresses - Development - Distributed processing - System design - Congress - Electronic data processing - Computer software

Edition Identifiers:

• The Open Library ID: OL22355688M
• All ISBNs: 3540643567 - 9783540643562

“Tools and algorithms for the construction and analysis of systems” Metadata:

• Title: ➤  Tools and algorithms for the construction and analysis of systems
• Author: ➤  TACAS 2004 (2004 Barcelona, Spain)
• Language: English
• Number of Pages: Median: 608
• Publisher: Springer-Verlag
• Publish Date: 2004
• Publish Location: Berlin - New York

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

• Subjects: Congresses - Development - System design - Computer software

Edition Identifiers:

• The Open Library ID: OL22591114M
• All ISBNs: 354021299X - 9783540212997

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Author: Parosh Aziz Abdulla
• Language: English
• Publisher: Springer Berlin Heidelberg
• Publish Date: 2011
• Publish Location: Berlin, Heidelberg

“Tools and Algorithms for the Construction and Analysis of Systems” Subjects and Themes:

• Subjects: ➤  Logic design - Computer networks - Software engineering - Computer science - Artificial intelligence - System design - System analysis - Programming Techniques - Programming Languages, Compilers, Interpreters - Computer Communication Networks - Logics and Meanings of Programs - Artificial Intelligence (incl. Robotics)

Edition Identifiers:

• The Open Library ID: OL27092247M
• All ISBNs: 3642198341 - 364219835X - 9783642198359 - 9783642198342

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Authors: Orna GrumbergMichael Huth
• Language: English
• Publisher: Springer London, Limited
• Publish Date: 2007

“Tools and Algorithms for the Construction and Analysis of Systems” Subjects and Themes:

• Subjects: System design - Computer software, development

Edition Identifiers:

• The Open Library ID: OL35772324M
• All ISBNs: 9783540712091 - 3540712097

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Authors: Susanne GrafMichael Schwartzbach
• Language: English
• Publisher: Springer London, Limited
• Publish Date: 2003

Edition Identifiers:

• The Open Library ID: OL35756503M
• All ISBNs: 3540464190 - 9783540464198

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Authors: Kurt JensenAndreas Podelski
• Language: English
• Number of Pages: Median: 614
• Publisher: Springer London, Limited
• Publish Date: 2004

Edition Identifiers:

• The Open Library ID: OL34424652M
• All ISBNs: 9783540247302 - 3540247300

“Tools and algorithms for the construction and analysis of systems” Metadata:

• Title: ➤  Tools and algorithms for the construction and analysis of systems
• Author: ➤  TACAS '98 (1998 Lisbon, Portugal)
• Language: English
• Number of Pages: Median: 455
• Publisher: Springer
• Publish Date: 1998
• Publish Location: New York

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

• Subjects: Congresses - Development - System design - Computer software - Computer software, development

Edition Identifiers:

• The Open Library ID: OL345241M
• Online Computer Library Center (OCLC) ID: 504257160
• Library of Congress Control Number (LCCN): 98004243
• All ISBNs: 9783540643562 - 3540643567

“Tools and algorithms for the construction and analysis of systems” Metadata:

• Title: ➤  Tools and algorithms for the construction and analysis of systems
• Author: ➤  TACAS 2004 (2004 Barselona, Spain)
• Language: English
• Number of Pages: Median: 608
• Publisher: Springer-Verlag
• Publish Date: 2004
• Publish Location: New York

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

• Subjects: Development - Congresses - System design - Computer software - Computer software, development

Edition Identifiers:

• The Open Library ID: OL18211923M
• Online Computer Library Center (OCLC) ID: 54542875
• Library of Congress Control Number (LCCN): 2004046612
• All ISBNs: 354021299X - 9783540212997

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Authors: Dirk BeyerMarieke Huisman
• Number of Pages: Median: 474
• Publisher: ➤  Springer - Springer Nature - Saint Philip Street Press
• Publish Date: 2018 - 2020
• Publish Location: Cham

“Tools and Algorithms for the Construction and Analysis of Systems” Subjects and Themes:

• Subjects: ➤  Computer science - Computer algorithms - Computer input-output equipment - Computer organization

Edition Identifiers:

• The Open Library ID: OL31367342M - OL31367381M - OL28183697M - OL28242454M - OL32358618M
• All ISBNs: ➤  9783319899633 - 3319899627 - 3319899597 - 3319899635 - 9781013278402 - 9783319899602 - 9783319899596 - 1013278402 - 9783319899626 - 3319899600

“Tools and algorithms for the construction and analysis of systems” Metadata:

• Title: ➤  Tools and algorithms for the construction and analysis of systems
• Author: ➤  TACAS 2003 (2003 Warsaw, Poland)
• Language: English
• Number of Pages: Median: 604
• Publisher: Springer
• Publish Date: 2003
• Publish Location: New York - Berlin

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

• Subjects: Congresses - Development - System design - Computer software - Computer software, development

Edition Identifiers:

• The Open Library ID: OL12770588M - OL18184113M
• Online Computer Library Center (OCLC) ID: 51892959
• Library of Congress Control Number (LCCN): 2003045501
• All ISBNs: 9783540008989 - 3540008985

“Tools and algorithms for the construction and analysis of systems” Metadata:

• Title: ➤  Tools and algorithms for the construction and analysis of systems
• Author: ➤  TACAS 2002 (2002 Grenoble, France)
• Language: English
• Number of Pages: Median: 482
• Publisher: Springer
• Publish Date: 2002
• Publish Location: New York

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

• Subjects: Congresses - Development - System design - Computer software - Computer software, development

Edition Identifiers:

• The Open Library ID: OL18172193M
• Online Computer Library Center (OCLC) ID: 49312623
• Library of Congress Control Number (LCCN): 2002021217
• All ISBNs: 3540434194 - 9783540434191

“Tools and algorithms for the construction and analysis of systems” Metadata:

• Title: ➤  Tools and algorithms for the construction and analysis of systems
• Author: TACAS 2001 (2001 Genoa, Italy)
• Language: English
• Number of Pages: Median: 588
• Publisher: Springer
• Publish Date: 2001
• Publish Location: New York

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

• Subjects: Congresses - Development - System design - Computer software - Computer software, development

Edition Identifiers:

• The Open Library ID: OL18157337M
• Online Computer Library Center (OCLC) ID: 46501729
• Library of Congress Control Number (LCCN): 2001020737
• All ISBNs: 9783540418658 - 3540418652

“Tools and algorithms for the construction and analysis of systems” Metadata:

• Title: ➤  Tools and algorithms for the construction and analysis of systems
• Author: ➤  TACAS '2000 (6th 2000 Berlin, Germany)
• Language: English
• Number of Pages: Median: 552
• Publisher: Springer
• Publish Date: 2000
• Publish Location: New York - Berlin - London

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

• Subjects: ➤  Congresses - Development - System design - Computer software - Computer networks - Algorithms - Software engineering

Edition Identifiers:

• The Open Library ID: OL12809938M - OL22639439M - OL18139355M
• Online Computer Library Center (OCLC) ID: 43662175
• Library of Congress Control Number (LCCN): 00029648
• All ISBNs: 9783540672821 - 3540672826

“Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995
• Author: Ed Brinksma
• Language: English
• Number of Pages: Median: 291
• Publisher: Springer-Verlag - Springer
• Publish Date: 1995

Edition Identifiers:

• The Open Library ID: OL9785489M - OL9061712M
• All ISBNs: 0387606300 - 9780387606309 - 3540606300 - 9783540606307

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Authors: Axel LegayTiziana Margaria
• Language: English
• Number of Pages: Median: 522
• Publisher: ➤  Springer Berlin / Heidelberg - Springer - Springer London, Limited
• Publish Date: 2003 - 2017

“Tools and Algorithms for the Construction and Analysis of Systems” Subjects and Themes:

• Subjects: System design - Computer software, development

Edition Identifiers:

• The Open Library ID: OL35776191M - OL34545997M - OL27957442M
• All ISBNs: ➤  3662545764 - 3662545799 - 9783662545768 - 3540453199 - 9783662545799 - 9783540453192

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Authors: Dana FismanGrigore Rosu
• Language: English
• Publisher: ➤  Springer International Publishing AG
• Publish Date: 2022

Edition Identifiers:

• The Open Library ID: OL51580726M - OL51577310M
• All ISBNs: 9783030995263 - 9783030995232 - 3030995267 - 3030995232

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Authors: Sriram SankaranarayananNatasha Sharygina
• Language: English
• Publisher: Springer
• Publish Date: 2023

“Tools and Algorithms for the Construction and Analysis of Systems” Subjects and Themes:

• Subjects: Computer science

Edition Identifiers:

• The Open Library ID: OL49269663M - OL49271663M
• All ISBNs: 3031308190 - 9783031308222 - 9783031308192 - 3031308220

“Tools and algorithms for the construction and analysis of systems” Metadata:

• Title: ➤  Tools and algorithms for the construction and analysis of systems
• Author: ➤  TACAS '99 (1999 Amsterdam, Netherlands)
• Language: English
• Number of Pages: Median: 443
• Publisher: Springer
• Publish Date: 1999
• Publish Location: Berlin - New York - London

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

• Subjects: Congresses - Development - System design - Computer software - Algorithms

Edition Identifiers:

• The Open Library ID: OL18708779M - OL15464310M
• Online Computer Library Center (OCLC) ID: 40926014 - 41158948 - 222976523
• Library of Congress Control Number (LCCN): 99024737
• All ISBNs: 3540657037 - 9783540657033

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Author: Armin Biere
• Language: English
• Number of Pages: Median: 470
• Publisher: ➤  Springer - Springer Nature - Springer International Publishing AG - Saint Philip Street Press
• Publish Date: 2020
• Publish Location: Cham

“Tools and Algorithms for the Construction and Analysis of Systems” Subjects and Themes:

• Subjects: ➤  Expert systems / knowledge-based systems - Algorithms & data structures - Systems analysis & design - Computer science - Mathematical theory of computation

Edition Identifiers:

• The Open Library ID: ➤  OL31369086M - OL35834111M - OL37307706M - OL32852768M - OL31369088M - OL32840382M
• All ISBNs: ➤  9783030451905 - 9783030452377 - 9781013277184 - 9781013277214 - 9783030452360 - 3030452360 - 101327721X - 3030451909 - 3030452379 - 101327718X - 9783030451899 - 3030451895

“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:

• Title: ➤  Tools and Algorithms for the Construction and Analysis of Systems
• Authors: Jan Friso GrooteKim Guldstrand Larsen
• Language: English
• Publisher: ➤  Springer International Publishing AG
• Publish Date: 2021

Edition Identifiers:

• The Open Library ID: OL37323566M - OL37323519M
• All ISBNs: 9783030720124 - 3030720128 - 3030720152 - 9783030720155