Explore: Softwarespezifikation
Discover books, insights, and more — all in one place.
Learn more about Softwarespezifikation with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “softwarespezifikation”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1The construction of formal specifications
By J. G. Turner and T. L. McCluskey
“The construction of formal specifications” Metadata:
- Title: ➤ The construction of formal specifications
- Authors: J. G. TurnerT. L. McCluskey
- Language: English
- Number of Pages: Median: 418
- Publisher: ➤ Mcgraw Hill Book Co Ltd - McGraw-Hill
- Publish Date: 1993 - 1994
- Publish Location: New York - London
“The construction of formal specifications” Subjects and Themes:
- Subjects: Software engineering - Softwarespezifikation - Formale Spezifikationstechnik - Formele talen
Edition Identifiers:
- The Open Library ID: OL7308767M - OL1421501M
- Library of Congress Control Number (LCCN): 93031699
- All ISBNs: 0077077350 - 9780077077358
Access and General Info:
- First Year Published: 1993
- 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 The construction of formal specifications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Abstraction and specification in program development
By Barbara Liskov
“Abstraction and specification in program development” Metadata:
- Title: ➤ Abstraction and specification in program development
- Author: Barbara Liskov
- Language: English
- Number of Pages: Median: 469
- Publisher: MIT Press
- Publish Date: 1986
- Publish Location: Cambridge, Mass
“Abstraction and specification in program development” Subjects and Themes:
- Subjects: ➤ Electronic digital computers - Programming - Softwarespezifikation - Programmation - Programmierung - Programmation (Informatique) - Softwareentwicklung - Computer programming - Ordinateurs - Programmatuurtechniek
Edition Identifiers:
- The Open Library ID: OL18180593M - OL22494778M
- All ISBNs: 9780070379961 - 0070379963 - 9780262121125 - 0262121123
Access and General Info:
- First Year Published: 1986
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
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 Abstraction and specification in program development at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Fields of logic and computation
By Yuri Gurevich, Andreas Blass, Nachum Dershowitz and Wolfgang Reisig
“Fields of logic and computation” Metadata:
- Title: ➤ Fields of logic and computation
- Authors: Yuri GurevichAndreas BlassNachum DershowitzWolfgang Reisig
- Language: English
- Number of Pages: Median: 626
- Publisher: Springer
- Publish Date: 2010
- Publish Location: New York - Berlin
“Fields of logic and computation” Subjects and Themes:
- Subjects: ➤ Softwarespezifikation - Komplexitätstheorie - Mathematische Logik - Symbolic and mathematical Logic - Berechenbarkeit - Programmverifikation - Formale Methode - Information theory - Computer science - Automatentheorie - Mathematics - Formal methods (Computer science) - Theoretische Informatik - Abstrakte Zustandsmaschine - Logic design - Computer networks - Software engineering - Computer software - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL25375129M
- Online Computer Library Center (OCLC) ID: 657597118
- Library of Congress Control Number (LCCN): 2010931832
- All ISBNs: 9783642150241 - 3642150241
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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 Fields of logic and computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Verification of object-oriented software
By Bernhard Beckert
“Verification of object-oriented software” Metadata:
- Title: ➤ Verification of object-oriented software
- Author: Bernhard Beckert
- Language: English
- Number of Pages: Median: 658
- Publisher: Springer
- Publish Date: 2007
“Verification of object-oriented software” Subjects and Themes:
- Subjects: ➤ Java (Computer program language) - Object-oriented methods (Computer science) - Verification - Computer software - Logic design - Artificial intelligence - Computer science - Software engineering - Object-oriented programming (computer science) - Objektorientierte Programmierung - Softwarespezifikation - Programmverifikation - Korrektheit - Beweis - Softwareentwicklung - Objektorientierung - Programmierlogik - Formale Methode
Edition Identifiers:
- The Open Library ID: OL12810193M
- Online Computer Library Center (OCLC) ID: 78203745
- Library of Congress Control Number (LCCN): 2006939067
- All ISBNs: 354068977X - 9783540689775
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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 Verification of object-oriented software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Interactive systems
By DSV-IS 2002 (2002 Rostock, Germany)
“Interactive systems” Metadata:
- Title: Interactive systems
- Author: ➤ DSV-IS 2002 (2002 Rostock, Germany)
- Language: English
- Number of Pages: Median: 267
- Publisher: Springer
- Publish Date: 2002
- Publish Location: New York
“Interactive systems” Subjects and Themes:
- Subjects: ➤ Interactive computer systems - Congresses - Softwarespezifikation - Systemes conversationnels (Informatique) - Mensch-Maschine-Kommunikation - Interfaces - Mobile Computing - Kongress - Benutzeroberflache - Congres - Programmatuurtechniek - Systementwurf - Verificatie - Vormgeving - Interactieve computersystemen
Edition Identifiers:
- The Open Library ID: OL18181711M
- Online Computer Library Center (OCLC) ID: 51171708
- Library of Congress Control Number (LCCN): 2002042870
- All ISBNs: 3540002669 - 9783540002666
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
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 Interactive systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Formal Methods for Industrial Critical Systems
By Darren Cofer
“Formal Methods for Industrial Critical Systems” Metadata:
- Title: ➤ Formal Methods for Industrial Critical Systems
- Author: Darren Cofer
- Language: English
- Number of Pages: Median: 243
- Publisher: ➤ Springer Berlin Heidelberg - Springer
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Formal Methods for Industrial Critical Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Formal methods (Computer science) - Congresses - Computer programs - Verification - Reliability - Computer software - Programmverifikation - Kongress - Softwarespezifikation - Formale Methode - Zuverlässigkeit - Sicherheitskritisches System - Eingebettetes System - Softwareentwicklung - Fehlertoleranz - Systementwurf - Model Checking - Verifikation - System design
Edition Identifiers:
- The Open Library ID: OL25555301M
- Online Computer Library Center (OCLC) ID: 428011993
- Library of Congress Control Number (LCCN): 2009930950
- All ISBNs: 9783642032400 - 9783642032394 - 3642032400 - 3642032397
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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 Formal Methods for Industrial Critical Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Formal Techniques for Distributed Systems
By Hutchison, David - undifferentiated
“Formal Techniques for Distributed Systems” Metadata:
- Title: ➤ Formal Techniques for Distributed Systems
- Author: ➤ Hutchison, David - undifferentiated
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Formal Techniques for Distributed Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Computer networks - Computer science - Software engineering - Electronic data processing - Congresses - Distributed processing - Object-oriented programming (Computer science) - Formal methods (Computer science) - Rechnernetz - Kongress - Softwarespezifikation - Formale Spezifikationstechnik - Software - Testen - Formale Methode - Verteiltes System - Electronic data processing, distributed processing - Object-oriented programming (computer science) - System design
Edition Identifiers:
- The Open Library ID: OL25548831M
- Online Computer Library Center (OCLC) ID: 401153802
- Library of Congress Control Number (LCCN): 2009936003
- All ISBNs: 9783642021374 - 3642021387 - 9783642021381 - 3642021379
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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 Formal Techniques for Distributed Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Implementierung und parallele Verarbeitung von Kommunikationssoftware
By Michael Rupprecht
“Implementierung und parallele Verarbeitung von Kommunikationssoftware” Metadata:
- Title: ➤ Implementierung und parallele Verarbeitung von Kommunikationssoftware
- Author: Michael Rupprecht
- Language: ger
- Publisher: Vieweg+Teubner Verlag
- Publish Date: 1993
- Publish Location: Wiesbaden
“Implementierung und parallele Verarbeitung von Kommunikationssoftware” Subjects and Themes:
- Subjects: Implementierung - Parallelrechner - Softwarespezifikation - Kommunikationsprotokoll
Edition Identifiers:
- The Open Library ID: OL27045036M
- Online Computer Library Center (OCLC) ID: 864038144
- All ISBNs: 3322934365 - 9783322934369
Access and General Info:
- First Year Published: 1993
- 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 Implementierung und parallele Verarbeitung von Kommunikationssoftware at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Program development by specification and transformation
By Berthold Hoffmann
“Program development by specification and transformation” Metadata:
- Title: ➤ Program development by specification and transformation
- Author: Berthold Hoffmann
- Language: English
- Number of Pages: Median: 623
- Publisher: Springer
- Publish Date: 1993
“Program development by specification and transformation” Subjects and Themes:
- Subjects: ➤ Development - Softwarespezifikation - Spécification - PANNDA - Programmtransformation - Transformation programme - Programmatuurtechniek - PROSPECTRA - Logiciels - Développement - Développement logiciel - Computer software - Software Engineering - Softwareentwicklung - Spezifikation
Edition Identifiers:
- The Open Library ID: OL12776745M
- Library of Congress Control Number (LCCN): 93029020
- All ISBNs: 9783540567332 - 354056733X
Access and General Info:
- First Year Published: 1993
- 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 Program development by specification and transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Program specification
By J. Staunstrup
“Program specification” Metadata:
- Title: Program specification
- Author: J. Staunstrup
- Language: English
- Number of Pages: Median: 426
- Publisher: Springer-Verlag
- Publish Date: 1982
- Publish Location: New York - Berlin
“Program specification” Subjects and Themes:
- Subjects: ➤ Specifications - Congresses - Computer programs - Spezifikation - KWIC - Langage programmation - Langage spécification - Programmierung - Programme distribué - Spécification programme - Congrès - TECTON - Spécifications - Logiciels - Réseau transmission - Construction géometrique - Softwarespezifikation - Congres
Edition Identifiers:
- The Open Library ID: OL3485938M
- Online Computer Library Center (OCLC) ID: 8345216
- Library of Congress Control Number (LCCN): 82005485
- All ISBNs: 0387114904 - 9780387114903
Access and General Info:
- First Year Published: 1982
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Program specification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Temporal logic in specification
By Howard Barringer
“Temporal logic in specification” Metadata:
- Title: ➤ Temporal logic in specification
- Author: Howard Barringer
- Language: English
- Number of Pages: Median: 448
- Publisher: Springer-Verlag - Springer
- Publish Date: 1989
- Publish Location: New York - Berlin
“Temporal logic in specification” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - System design - Softwarespezifikation - Logique symbolique et mathématique - Théorie automate - Système concurrent - Temporale Logik - Congrès - Vérification - Spécification - Logique temporelle - Systèmes, Conception de - Démonstration théorème - Logique - Nebenläufigkeit - Congresses
Edition Identifiers:
- The Open Library ID: OL2200354M
- Online Computer Library Center (OCLC) ID: 20490986
- Library of Congress Control Number (LCCN): 89021947
- All ISBNs: 9780387518039 - 0387518037
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Temporal logic in specification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Petri-Netz-Methoden und -Werkzeuge
By M. Leszak
“Petri-Netz-Methoden und -Werkzeuge” Metadata:
- Title: ➤ Petri-Netz-Methoden und -Werkzeuge
- Author: M. Leszak
- Language: ger
- Number of Pages: Median: 254
- Publisher: Springer
- Publish Date: 1989
- Publish Location: New York - Berlin
“Petri-Netz-Methoden und -Werkzeuge” Subjects and Themes:
- Subjects: Petri nets - System design - Softwarespezifikation - Petri-Netz - Softwarewerkzeug
Edition Identifiers:
- The Open Library ID: OL2264427M
- Library of Congress Control Number (LCCN): 89148394
- All ISBNs: 038750642X - 9780387506425
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Petri-Netz-Methoden und -Werkzeuge at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Software engineering and middleware
By SEM 2002 (2002 Orlando, Fla.)
“Software engineering and middleware” Metadata:
- Title: ➤ Software engineering and middleware
- Author: SEM 2002 (2002 Orlando, Fla.)
- Language: English
- Number of Pages: Median: 237
- Publisher: Springer
- Publish Date: 2003
- Publish Location: New York
“Software engineering and middleware” Subjects and Themes:
- Subjects: ➤ Congresses - Software engineering - Softwarespezifikation - Middleware - Verteiltes System - Genie logiciel - Congres - Softwareentwicklung - Kongress - Anpassung - Komponente
Edition Identifiers:
- The Open Library ID: OL3686652M
- Online Computer Library Center (OCLC) ID: 52041182
- Library of Congress Control Number (LCCN): 2003050372
- All ISBNs: 3540075496 - 9783540075493
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
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 Software engineering and middleware at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.