Kammuller florian (18 resultados)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,73
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 56,06
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 52,45
Envío por EUR 10,90Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 47,55
Envío por EUR 17,44Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Advances in New Technologies, Interactive Interfaces and Communicability : Second International Conference, Adntiic 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers
Ficarra, Francisco V. Cipolla (EDT); Veltman, Kim (EDT); Verber, Domen (EDT); Cipolla-ficarra, Miguel (EDT); Kammuller, Florian (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 71,01
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa dura
Librería: medimops, Berlin, Alemaniamedimops
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 30,67
Envío por EUR 10,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: as new. Wie neu/Like new.
Advances in New Technologies, Interactive Interfaces and Communicability : Second International Conference, Adntiic 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers
Ficarra, Francisco V. Cipolla (EDT); Veltman, Kim (EDT); Verber, Domen (EDT); Cipolla-ficarra, Miguel (EDT); Kammuller, Florian (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 56,42
Envío por EUR 17,44Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: VDM Verlag Dr. Müller|VDM Verlag Dr. Müller e.K., 2013
- Tapa blanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 51,98
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Kartoniert / Broschiert. Condición: New. Interactive theorem proving is the modern way of formalizing mathematics using a computer as a proof assistant, helping solve simple tasks andkeeping an order on the proofs.Still, it is a tedious task, as such mechanical proofs contain detail that humans do.
Advances in New Technologies, Interactive Interfaces and Communicability : Second International Conference, Adntiic 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers
Ficarra, Francisco V. Cipolla (EDT); Veltman, Kim (EDT); Verber, Domen (EDT); Cipolla-ficarra, Miguel (EDT); Kammuller, Florian (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 111,37
Envío por EUR 17,44Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Advances in New Technologies, Interactive Interfaces and Communicability : Second International Conference, Adntiic 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers
Ficarra, Francisco V. Cipolla (EDT); Veltman, Kim (EDT); Verber, Domen (EDT); Cipolla-ficarra, Miguel (EDT); Kammuller, Florian (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 132,03
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 134,12
Envío por EUR 17,44Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 155,41
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 124,55
Envío por EUR 29,07Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Tapa dura
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 29,00
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Gebunden. Condición: New. Das Buch versteht sich als ein komprimierter Fuehrer durch die Entwicklung des SYNCHRO-Produktionssystems bei TRUMPF. Die Leser profitieren von der praktischen Erfahrung und der Offenheit beider Autoren gleichermassen. Wichtige Erfolgsfaktoren werden benannt..
- Tapa blanda
- Impresión bajo demanda
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de AmericaPBShop.store US
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 51,24
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
- Tapa blanda
- Impresión bajo demanda
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 49,78
Envío por EUR 3,83Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Idioma: Inglés
Editorial: VDM Verlag Dr. Müller, VDM Verlag Dr. Müller E.K., 2008
- Tapa blanda
- Impresión bajo demanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 52,36
Envío por EUR 35,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Interactive theorem proving is the modern way of formalizing mathematics using a computer as a proof assistant, helping solve simple tasks andkeeping an order on the proofs.Still, it is a tedious task, as such mechanical proofs contain detail that humans do not want to see.When it comes to the verification of real world applications in software engineering, as required for the assurance of safety and security properties of embedded systems, the level of detail becomes even more annoying. In fact, it is a gargantuan task to prove a program correct or prove that an implementation conforms to its UML-specification.The sheer mass of proof obligations alone - apart from the hidden subtlety of such challenges - obstructs quality assurance of software artifacts with interactive theorem provers. This book draws a line to show up how far current cutting edge research has succeeded in tackling this long standing quest.Using examples from algorithm development, Java bytecode verification and UML state machine analysis the author introduces current trends in interactive theorem proving technology using Coq, Isabelle, andmodel checking.…
Advances in New Technologies, Interactive Interfaces and Communicability
Cipolla Ficarra, Francisco V.|Veltman, Kim|Verber, Domen|Cipolla-Ficarra, Miguel|Kammüller, Florian
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 44,88
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Up-to-date resultsFast track conference proceedingsState-of-the-art reportThis book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Advances in New Technologies, Interact.…
