日韩精品 中文字幕 动漫,91亚洲午夜一区,在线不卡日本v一区v二区丶,久久九九国产精品自在现拍





		



注冊  |  登錄讀書好，好讀書，讀好書！






        
讀書網(wǎng)-DuShu.com

        
         
                
      	
                
                	
                    
                    
                

                
            
        

        

               

				
				
				
       
        




















	當(dāng)前位置： 首頁出版圖書科學(xué)技術(shù)計(jì)算機(jī)/網(wǎng)絡(luò)軟件與程序設(shè)計(jì)其他編程語言/工具中歐函數(shù)編程學(xué)院：CEFP 2005/講義選集

	



    
    

    
中歐函數(shù)編程學(xué)院：CEFP 2005/講義選集

    

	
中歐函數(shù)編程學(xué)院：CEFP 2005/講義選集
	
	

	

	

	
定　價(jià)：￥508.50

	

			
					

						作　者：
						Zoltan Horvath  著
					

					

						出版社：
						湖南文藝出版社
					

					

						叢編項(xiàng)：
						
					

					

						標(biāo)　簽：
						暫缺
					

				
	
	

    
	
	

	

			
					

						ISBN：
						9783540468431
						出版時(shí)間：
						2006-12-01	
                        包裝：
						平裝					
					
					
					
					
						開本：
						
						頁數(shù)：
						
						字?jǐn)?shù)：
						 
					
					
				

        

   

    
    
    
	
	
	
	
內(nèi)容簡介

	

	
　　Keep connected to what's happening in the world of books by signing up for Amazon.com Books Delivers， our monthly sub*ion e-mail newsletters. Discover new releases in your favorite categories， popular pre-orders and bestsellers， exclusive author interviews and podcasts， special sales， and more.
	
	
	
   
	
	
	
作者簡介

	

	
暫缺《中歐函數(shù)編程學(xué)院：CEFP 2005/講義選集》作者簡介
	
	
	
	
	
	
圖書目錄

	

	
Generic Editors for the World Wide Web
Fully Automatic Testing with Functions as Specifications
Functional Array Programming in SAC
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
The Essence of Dataflow Programming
Temporal Properties of Clean Programs Proven in Sparkle-T
Tutorial on Subtype Marks
Designing Distributed Computational Skeletons in D-Clean and D-Box
Author Index
	
	

	

    
       
    
	
	

   

   

   

    
   

   
本目錄推薦







掃描二維碼










    

        

            
        

        
Copyright ? 讀書網(wǎng) rgspecialties.com 2005-2020, All Rights Reserved.

        
鄂ICP備15019699號  鄂公網(wǎng)安備 42010302001612號