Advances formal design methods (32 Ergebnisse)
Sprache: Englisch
Verlag: Springer, 2013
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 56,53
EUR 2,31 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer, 2013
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 58,10
EUR 2,31 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer, 2013
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 55,15
EUR 14,04 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer, 2013
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 55,14
EUR 17,58 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer, 2013
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 60,20
EUR 17,58 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer, 1996
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Hardcover
Anbieter: StainesBook, Weybridge, SURRE, Vereinigtes KönigreichStainesBook
Verkäufer/-in kontaktierenVerkäufer/-in mit 1 SternenZustand: Neu
EUR 80,00
EUR 35,16 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer, 1996
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Hardcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 132,98
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Sprache: Englisch
Verlag: Springer, 1996
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Hardcover
Anbieter: Basi6 International, Irving, TX, USABasi6 International
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 132,98
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 73,40
EUR 61,84 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. Neuware - This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification an…d covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.
Sprache: Englisch
Verlag: Springer, 1996
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Hardcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 185,92
EUR 3,50 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Used. pp. 316 Index.
Sprache: Englisch
Verlag: Springer, 1996
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 193,80
EUR 7,62 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. 316 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Sprache: Englisch
Verlag: Springer, 1996
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Hardcover
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 195,85
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. 316.
Sprache: Englisch
Verlag: Springer, 1996
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 228,22
EUR 14,04 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer, 2013
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 228,22
EUR 14,04 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer, 1996
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Hardcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 237,83
EUR 29,30 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Sprache: Englisch
Verlag: Springer, 2013
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Softcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 281,02
EUR 3,50 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. pp. 312 Index.
Sprache: Englisch
Verlag: Springer US, Springer US, 2013
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 223,11
EUR 62,38 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Designing is one of the most significant of human acts. Surprisingly, given that designing has been occurring for many millenia, our understanding of the processes of designing is remarkably limited. Recently, design methods have been formalised not…as humano-centred processes but as processes capable of computer implementation with the goal of augmenting human designers. This volume contains contributions which cover design methods based on evolutionary systems, generative processes, evaluation methods and analysis methods. It presents the state of the art in formal design methods for computer aided design.
Sprache: Englisch
Verlag: Springer US, 1996
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Hardcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 246,91
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Designing is one of the most significant of human acts. Surprisingly, given that designing has been occurring for many millenia, our understanding of the processes of designing is remarkably limited. Recently, design methods have been formalised not a.
Sprache: Englisch
Verlag: Springer, 2013
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Softcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 335,62
EUR 29,30 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Sprache: Englisch
Verlag: Springer Nature B.V. Feb 1996, 1996
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 304,50
EUR 63,19 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Neuware - Designing is one of the most significant of human acts. Surprisingly, given that designing has been occurring for many millenia, our understanding of the processes of designing is remarkably limited. Recently, design methods have been formalised not as humano-centred processes but as processes capab…le of computer implementation with the goal of augmenting human designers. This volume contains contributions which cover design methods based on evolutionary systems, generative processes, evaluation methods and analysis methods. It presents the state of the art in formal design methods for computer aided design.
- Hardcover
Anbieter: Antikvariat Faust, Göteborg, SchwedenAntikvariat Faust
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 83,76
EUR 22,00 VersandVersand von Schweden nach USAAnzahl: 1 verfügbar
In den WarenkorbChapman & Hall, London 1996. vi, 298 pp. Hardcover. Fine conditon.
Sprache: Englisch
Verlag: Springer Nature B.V., 2013
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Softcover
- Print-on-Demand
Anbieter: PBShop.store US, Wood Dale, IL, USAPBShop.store US
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 58,92
Versand nach gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Sprache: Englisch
Verlag: Springer Nature B.V., 2013
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Softcover
- Print-on-Demand
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 55,72
EUR 4,88 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
PAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Sprache: Englisch
Verlag: Springer, 2013
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Softcover
- Print-on-Demand
Anbieter: Brook Bookstore On Demand, Napoli, NA, ItalienBrook Bookstore On Demand
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 166,29
EUR 5,50 VersandVersand von Italien nach USAAnzahl: Mehr als 20 verfügbar
Zustand: new. Questo è un articolo print on demand.
Sprache: Englisch
Verlag: Springer, 2013
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Softcover
- Print-on-Demand
Anbieter: Basi6 International, Irving, TX, USABasi6 International
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 177,71
Versand nach gratisVersand innerhalb von USAAnzahl: 10 verfügbar
Zustand: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
Sprache: Englisch
Verlag: Springer, 1996
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Hardcover
- Print-on-Demand
Anbieter: Basi6 International, Irving, TX, USABasi6 International
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 177,71
Versand nach gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
Sprache: Englisch
Verlag: Springer US, 2013
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 180,07
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Designing is one of the most significant of human acts. Surprisingly, given that designing has been occurring for many millenia, our understanding of the processes of designing is remarkably limited. Recently, design me…thods have been formalised not a.
Sprache: Englisch
Verlag: Springer US, Springer US Jan 2013, 2013
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 213,99
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Designing is one of the most significant of human acts. Surprisingly, given that designing has been occurring for many millenia, our understanding of the processes of designing is remarkably limited. Recently, design methods have been… formalised not as humano-centred processes but as processes capable of computer implementation with the goal of augmenting human designers. This volume contains contributions which cover design methods based on evolutionary systems, generative processes, evaluation methods and analysis methods. It presents the state of the art in formal design methods for computer aided design. 312 pp. Englisch.
Sprache: Englisch
Verlag: Springer, 2013
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Softcover
- Print-on-Demand
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 186,70
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Advances in Formal Design Methods for CAD | Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 | Asko Riitahuhta (u. a.) | Taschenbuch | IFIP Advances in Information and Communication Technology | x | Englisch | 2013 | Springer | EAN 9781475744286 | Ver…antwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Sprache: Englisch
Verlag: Springer, Humana Jan 2013, 2013
Serie: IFIP Advances in Information and Communication Technology, Buch 79 von 292. Buch 79 von 292 - IFIP Advances in Information and Communication Technology
- Softcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 213,99
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Designing is one of the most significant of human acts. Surprisingly, given that designing has been occurring for many millenia, our understanding of the processes of designing is remarkably limited. Recently, design methods have been for…malised not as humano-centred processes but as processes capable of computer implementation with the goal of augmenting human designers. This volume contains contributions which cover design methods based on evolutionary systems, generative processes, evaluation methods and analysis methods. It presents the state of the art in formal design methods for computer aided design.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 312 pp. Englisch.
