• Home »
    •  Tools and algorithms for... »

Tools and algorithms for the construction and analysis of systems: 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings

Book Cover
Series:
Lecture notes in computer science volume 3440
Publisher:
Springer
Pub. Date:
2005
Language:
English
Choose a Format
SpringerLink CCU Owned eBook
      Show Edition
Available Online
CCU Electronic Resources
Access Online
Description
"This volume contains the proceedings of the 11th TACAS, International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2005 took place in Edinburgh, UK, April 4-8, 2005."
More Like This
More Copies In Prospector
Loading Prospector Copies...
More Details
Contributors:
Halbwachs, Nicolas
SpringerLink (Online service)
Zuck, Lenore D.,1958-
ISBN:
9783540319801
Staff View

Grouping Information

Grouped Work ID1188a7c7-c30a-4a7e-f222-48d6e412ccaa
Grouping Titletools and algorithms for the construction and analysis of systems 11th international conference tacas 2005 held as part of the joint european conferences on theory and practice of software etaps inburgh uk april 4 8 2005 proceedings
Grouping Authortacas
Grouping Categorybook
Grouping LanguageEnglish (eng)
Last Grouping Update2024-03-20 17:41:27PM
Last Indexed2024-05-03 23:05:48PM

Solr Fields

accelerated_reader_point_value
0
accelerated_reader_reading_level
0
auth_author2
Halbwachs, Nicolas
Zuck, Lenore D., 1958-
author2-role
Halbwachs, Nicolas
SpringerLink (Online service)
Zuck, Lenore D.,1958-
available_at_ccu
CCU Electronic Resources
detailed_location_ccu
CCU Electronic Resources
display_description
"This volume contains the proceedings of the 11th TACAS, International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2005 took place in Edinburgh, UK, April 4-8, 2005."
format_category_ccu
eBook
format_ccu
eBook
id
1188a7c7-c30a-4a7e-f222-48d6e412ccaa
isbn
9783540319801
itype_ccu
E-book
last_indexed
2024-05-04T05:05:48.215Z
lexile_score
-1
literary_form
Non Fiction
literary_form_full
Non Fiction
owning_library_ccu
Colorado Christian University Online
owning_location_ccu
CCU Electronic Resources
primary_isbn
9783540319801
publishDate
2005
publisher
Springer
recordtype
grouped_work
series
Lecture notes in computer science
series_with_volume
Lecture notes in computer science|3440
subject_facet
Actes de congrès
Automatisches Beweisverfahren
COMPUTERS -- Programming -- Open Source
COMPUTERS -- Software Development & Engineering -- General
COMPUTERS -- Software Development & Engineering -- Tools
Computer software -- Development
Computer software -- Development -- Congresses
Conception de systèmes -- Congrès
Conference papers and proceedings
Congress
Edinburgh (2005)
Informatique
Kongress
Logiciels -- Développement -- Congrès
Model Checking
Programmverifikation
Softwareentwicklung
Softwarespezifikation
System design
System design -- Congresses
Systementwicklung
title_display
Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
title_full
Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Nicolas Halbwachs, Lenore D. Zuck (eds.)
title_short
Tools and algorithms for the construction and analysis of systems
title_sub
11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
topic_facet
Automatisches Beweisverfahren
COMPUTERS
Computer software
Conception de systèmes
Development
Développement
General
Informatique
Logiciels
Model Checking
Open Source
Programming
Programmverifikation
Software Development & Engineering
Softwareentwicklung
Softwarespezifikation
System design
Systementwicklung
Tools

Solr Details Tables

item_details

Bib IdItem IdShelf LocCall NumFormatFormat CategoryNum CopiesIs Order ItemIs eContenteContent SourceeContent URLDetailed StatusLast CheckinLocation
external_econtent:ils:.b29636395.i150188420CMU Electronic AccessWeb ContenteBook1falsetrueSpringerLinkhttp://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/b107194Available Onlinecueme
external_econtent:ils:.b29636395.i71760441CCU Electronic ResourceseBookeBook1falsetrueSpringerLink CCU Ownedhttp://ezproxy.ccu.edu/login?url=http://dx.doi.org/10.1007/b107194Available Onlinecceb

record_details

Bib IdFormatFormat CategoryEditionLanguagePublisherPublication DatePhysical DescriptionAbridged
external_econtent:ils:.b29636395eBookeBookEnglishSpringer20051 online resource (xvii, 585 pages) : illustrations.

scoping_details_ccu

Bib IdItem IdGrouped StatusStatusLocally OwnedAvailableHoldableBookableIn Library Use OnlyLibrary OwnedHoldable PTypesBookable PTypesLocal Url
external_econtent:ils:.b29636395.i71760441Available OnlineAvailable Onlinefalsetruefalsefalsefalsetrue