Explore: Enginyeria Del Software
Discover books, insights, and more — all in one place.
Learn more about Enginyeria Del Software with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “enginyeria-del-software”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Software Engineering
By Roger S. Pressman and Bruce Maxim
“Software Engineering” Metadata:
- Title: Software Engineering
- Authors: Roger S. PressmanBruce Maxim
- Languages: ➤ Spanish; Castilian - español, castellano - ger - English
- Number of Pages: Median: 840
- Publisher: ➤ MCGRAW HILL - McGraw-Hill Interamericana - McGraw-Hill Companies - McGraw-Hill Publishing Co. - McGraw-Hill Higher Education - Mcgraw hill - McGraw Hill Higher Education - McGraw-Hill - Roger - McGraw-Hill Science/Engineering/Math - McGraw-Hill Education - McGraw Hill Publishing Company - Mcgraw-Hill (Tx) - Mc Graw Hill - McGraw Hill - Mcgraw-Hill College
- Publish Date: ➤ 1982 - 1987 - 1988 - 1989 - 1991 - 1992 - 1994 - 1995 - 1996 - 1997 - 1998 - 2000 - 2001 - 2002 - 2003 - 2004 - 2005 - 2007 - 2009 - 2010 - 2011 - 2014 - 2019
- Publish Location: ➤ Toronto - New York - Boston, Mass - London - Dubuque, IA - New York, NY - Hamburg
“Software Engineering” Subjects and Themes:
- Subjects: ➤ Software engineering - Electronic digital computers - Programming - Programmation (Informatique) - Programmatuurtechniek - Engenharia de programação - Ingeniería de software - Génie logiciel - Engenharia de software - Softwares (projeto) - Especificação de sistemas e programas - Genie logiciel - Programmation informatique - Problems, exercises - 54.52 software engineering - Einführung - Analise de sistemas - Engenharia de programacao (software) - Enginyeria de programes d'ordinador - Enginyeria del software - Programari - Enginyeria - Programació (Ordinadors) - Software d'ordinadors - Computer programming - Qa76.758. p75 2001 - 005.1
Edition Identifiers:
- The Open Library ID: ➤ OL59496849M - OL59493575M - OL52936398M - OL7297757M - OL9252460M - OL7306439M - OL9261112M - OL17164039M - OL27968754M - OL32632495M - OL27207258M - OL7298087M - OL9252775M - OL13284946M - OL13270136M - OL9963595M - OL26837953M - OL9132364M - OL13270996M - OL28612332M - OL9960409M - OL22308215M - OL7308805M - OL7296462M - OL7296292M - OL18141159M - OL7298080M - OL9251166M - OL22115812M - OL3780660M - OL22672445M - OL1533584M - OL22327509M - OL7305157M - OL9250996M - OL18314976M - OL9259830M - OL2404724M - OL9975530M - OL9258762M - OL7308873M - OL18792161M - OL9263467M - OL7304089M - OL9263535M - OL1019474M - OL2724843M - OL7297893M - OL9252588M - OL7306610M - OL9261282M - OL28345690M - OL30677054M - OL7308072M - OL9262741M
- Online Computer Library Center (OCLC) ID: ➤ 75076885 - 17261923 - 7999192 - 53848343 - 228063256 - 46846932 - 43729065 - 23254282
- Library of Congress Control Number (LCCN): ➤ 96077396 - 86018549 - 00036133 - 2003026394 - 2013035493 - 91011321 - 87035396 - 81020718 - 2008048802
- All ISBNs: ➤ 9780070507814 - 9780070507845 - 1260548007 - 007301933X - 8476152221 - 8563308335 - 9781260548006 - 9780071238403 - 9780071184588 - 8448111869 - 9780073375977 - 0073375977 - 9781259175756 - 9780071240833 - 0070507902 - 9780072496680 - 0077096770 - 9781259872976 - 0070507848 - 9780071267823 - 9780072853186 - 0071127798 - 0071240837 - 9780073655789 - 9788448132149 - 9780070521827 - 9788448100261 - 9780070508149 - 9780077096779 - 126042331X - 0071146032 - 9780070507906 - 8448132149 - 0070507813 - 0071238409 - 9783890281636 - 0073655783 - 007050783X - 0072853182 - 9780073019338 - 0072989572 - 9780079132369 - 0071267824 - 9781260423310 - 1259175758 - 9780071002325 - 9780078022128 - 0078022126 - 0072496681 - 0077079361 - 9788448111861 - 9788476152225 - 0071184589 - 9780071146036 - 9780070507838 - 9780071127790 - 1259872971 - 0079132367 - 0070508143 - 0070521824 - 9788563308337 - 9780072989571 - 8448100263 - 9780077079369 - 389028163X - 0071002324
First Setence:
""Have you ever noticed how the invention of one technology can have profound and unexpected effects on other seemingly unrelated technologies, on commercial enterprises, on people, and even on culture as a whole?""
Author's Alternative Names:
"PRESSMAN ROGER", "Roger, S Pressman" and "Roger Pressman"Access and General Info:
- First Year Published: 1982
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Software Engineering at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Computer aided verification
By Nicolas Halbwachs and Doron Peled
“Computer aided verification” Metadata:
- Title: Computer aided verification
- Authors: Nicolas HalbwachsDoron Peled
- Language: English
- Number of Pages: Median: 506
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 1999 - 2003
“Computer aided verification” Subjects and Themes:
- Subjects: ➤ Enginyeria del software - Disseny lògic - Congressos - Llenguatges formals - Computer software, verification - Computer software - Congresses - Verification - Integrated circuits - Verificatie - Software
Edition Identifiers:
- The Open Library ID: OL37149339M - OL9633158M
- Online Computer Library Center (OCLC) ID: 41926351
- All ISBNs: 9783540662020 - 9783540486831 - 3540486836 - 3540662022
First Setence:
"As usual, the behavior of a timed system is obtained by composing the behavior of its components."
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computer aided verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.